Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Included standard ontologies into ROOT; 

checked under 16-1 and 17.
./install works for both.
This commit is contained in:
Burkhart Wolff 2018-05-24 11:30:01 +02:00
parent d2d7605a17
commit c886756657
3 changed files with 9 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
ROOT
View File

@ -1,8 +1,12 @@
session "Isabelle_DOF" = HOL +
session "Isabelle_DOF" = Main +
theories [document = false]
(* Foo *)
(* Bar *)
theories
Isa_DOF
"ontologies/CENELEC_50126"
"ontologies/conceptual"
"ontologies/scholarly_paper"
"ontologies/mathex_onto"

6
ontologies/Conceptual.thy
View File

@ -1,7 +1,7 @@
theory Conceptual
imports "../Isa_Dof"
theory conceptual
imports "../Isa_DOF"
begin
doc_class A =
x :: "string"

3
ontologies/mathex_onto.thy
View File

@ -1,6 +1,5 @@
theory mathex_onto
imports "../Isa_DOF"
imports "../Isa_DOF"
begin
doc_class Author =