Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity
Isabelle_DOF/Isabelle_DOF-Examples-Templ.../template-scrartcl
History
Achim D. Brucker a79a3f539d Added basic author and title information. 2024-02-29 17:36:08 +00:00
..
document Sessions for testing templates. 2024-02-25 11:38:23 +00:00
ROOT Sessions for testing templates. 2024-02-25 11:38:23 +00:00
template-scrartcl.thy Added basic author and title information. 2024-02-29 17:36:08 +00:00