10 lines
210 B
Plaintext
10 lines
210 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
|
|
Isabelle_DOF-Scaffold
|