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

ground for revision of tests: TestKit, Conceptual, Latex-tests

This commit is contained in:
Burkhart Wolff 2023-03-01 20:47:47 +01:00
parent bf4c3d618e
commit a64fca4774
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Isabelle_DOF-Unit-Tests/ROOT
View File

@ -3,12 +3,12 @@ session "Isabelle_DOF-Unit-Tests" = "Isabelle_DOF-Ontologies" +
theories
"TestKit"
"Latex_Tests"
"AssnsLemmaThmEtc"
"Concept_Example_Low_Level_Invariant"
"Concept_Example"
"Concept_Example_Low_Level_Invariant"
"TermAntiquotations"
"Attributes"
"Evaluation"
"AssnsLemmaThmEtc"
"High_Level_Syntax_Invariants"
"Ontology_Matching_Example"
"Cenelec_Test"