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

updated Evaluation Section
ci/woodpecker/push/build Pipeline failed Details

This commit is contained in:
Burkhart Wolff 2023-03-24 08:13:51 +01:00
parent 7dbd016b5d
commit 3fc4688f69
2 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

0
Isabelle_DOF-Unit-Tests/Evaluation.thy → Isabelle_DOF-Unit-Tests/Concept_TermEvaluation.thy
View File

2
Isabelle_DOF-Unit-Tests/ROOT
View File

@ -9,8 +9,8 @@ session "Isabelle_DOF-Unit-Tests" = "Isabelle_DOF-Ontologies" +
"Concept_MonitorTest1"
"Concept_MonitorTest2"
"Concept_TermAntiquotations"
"Concept_TermEvaluation"
"Attributes"
"Evaluation"
"AssnsLemmaThmEtc"
"Ontology_Matching_Example"
"Cenelec_Test"