2023-02-19 13:06:00 +00:00
|
|
|
Isabelle_DOF
|
|
|
|
Isabelle_DOF-Proofs
|
2023-02-19 16:41:16 +00:00
|
|
|
Isabelle_DOF-Ontologies
|
2023-02-19 13:06:00 +00:00
|
|
|
Isabelle_DOF-Unit-Tests
|
2023-02-19 22:40:11 +00:00
|
|
|
Isabelle_DOF-Example-Extra
|
|
|
|
Isabelle_DOF-Example-Scholarly_Paper
|