Isabelle_DOF/scala
Achim D. Brucker 86152c374b Initial implementation of list_templates and list_ontologies (fixes #28). 2023-02-27 08:39:53 +00:00
..
dof_mkroot.scala Initial implementation of list_templates and list_ontologies (fixes #28). 2023-02-27 08:39:53 +00:00
dof_tools.scala Re-introduced dof_mkroot for main component and moved component setup to main directory (fixes #20). 2023-02-26 21:18:40 +00:00