nicolas.meric
/
Isabelle_DOF
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

reactivated Cenelec_Test

This commit is contained in:
Burkhart Wolff 2023-05-12 17:17:57 +02:00
parent 33fd1453a0
commit e97cca1a2c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Isabelle_DOF-Unit-Tests/ROOT
View File

@ -13,7 +13,7 @@ session "Isabelle_DOF-Unit-Tests" = "Isabelle_DOF-Ontologies" +
"Attributes"
"AssnsLemmaThmEtc"
"Ontology_Matching_Example"
(* "Cenelec_Test" *)
"Cenelec_Test"
"OutOfOrderPresntn"
"COL_Test"
document_files