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

9 lines
188 B
Plaintext
Raw Permalink Normal View History

Refactoring of session setup.
2023-02-19 13:06:00 +00:00
Isabelle_DOF
Isabelle_DOF-Proofs
Moved ontologies into session Isabelle_DOF-Ontologies.
2023-02-19 16:41:16 +00:00
Isabelle_DOF-Ontologies
Refactoring of session setup.
2023-02-19 13:06:00 +00:00
Isabelle_DOF-Unit-Tests
restructuring with iFM2020 as own AFP component
2023-04-06 11:48:38 +00:00
Isabelle_DOF-Example-I
Isabelle_DOF-Example-II
Fixed archive building after session renaming.
2023-04-15 15:52:25 +00:00
Isabelle_DOF-Examples-Extra
Enabled session Isabelle_DOF-Examples-Templates.
2024-02-25 11:46:12 +00:00
Isabelle_DOF-Examples-Templates