9 lines
197 B
Plaintext
9 lines
197 B
Plaintext
Isabelle_DOF-Proofs
|
|
Isabelle_DOF-Ontologies
|
|
Isabelle_DOF-Unit-Tests
|
|
Isabelle_DOF-Example-I
|
|
Isabelle_DOF-Example-II
|
|
Isabelle_DOF-Examples-Extra
|
|
Isabelle_DOF-Examples-Templates
|
|
Isabelle_DOF-Scaffold
|