pierre.derathe
/
Isabelle_DOF
Archived
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add missing file (amending 5471d873a9)

This commit is contained in:
Makarius Wenzel 2022-12-04 19:26:28 +01:00
parent 5471d873a9
commit ffcf1f3240
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/ROOT
View File

@ -14,4 +14,6 @@ session "Isabelle_DOF" = "Functional-Automata" +
theories
"DOF/Isa_DOF"
"ontologies/ontologies"
export_classpath