Isabelle_DOF/scala
Achim D. Brucker a286e4b1bc Improved dof_mkroot setup and minor LaTeX fixes. 2024-02-25 11:38:43 +00:00
..
dof_mkroot.scala Improved dof_mkroot setup and minor LaTeX fixes. 2024-02-25 11:38:43 +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