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

Enabled session Isabelle_DOF-Examples-Templates.

This commit is contained in:
Achim D. Brucker 2024-02-25 11:46:12 +00:00
parent c4875da7cb
commit f44b5458f2
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
ROOTS
View File

@ -5,3 +5,4 @@ Isabelle_DOF-Unit-Tests
Isabelle_DOF-Example-I
Isabelle_DOF-Example-II
Isabelle_DOF-Examples-Extra
Isabelle_DOF-Examples-Templates