9 lines
188 B
Plaintext
9 lines
188 B
Plaintext
upstream_afp
|
|
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
|