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

Initial commit.

This commit is contained in:
Achim D. Brucker 2023-02-19 18:12:14 +00:00
parent ba90433700
commit d766ac22df
2 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Isabelle_DOF-Unit-Tests/ROOT
View File

@ -11,3 +11,5 @@ session "Isabelle_DOF-Unit-Tests" = "Isabelle_DOF-Ontologies" +
"Ontology_Matching_Example"
theories [condition = ISABELLE_DOF_HOME]
"Isabelle2022"
document_files
"root.bib"

6
Isabelle_DOF-Unit-Tests/document/root.bib Normal file
View File

@ -0,0 +1,6 @@
@Manual{ wenzel:isabelle-isar:2020,
title = {The Isabelle/Isar Reference Manual},
author = {Makarius Wenzel},
year = 2020,
note = {Part of the Isabelle distribution.}
}