Achim D. Brucker f61e107515 Updated scala parts to Isabelle 2023.		2024-04-02 12:36:44 +01:00
..
dof.scala	Updated scala parts to Isabelle 2023.	2024-04-02 12:36:44 +01:00
dof_document_build.scala	Updated scala parts to Isabelle 2023.	2024-04-02 12:36:44 +01:00