Burkhart Wolff 5d7b50ca7f Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF		2023-04-27 13:03:07 +02:00
..
figures	...	2023-04-26 15:31:14 +02:00
dof_session.tex	Update Manual and code	2023-03-24 17:02:24 +01:00
lstisadof-manual.sty	Updated installation instructions and project setup for AFP (non Isabelle component) version of Isabelle/DOF (contributes to #23).	2023-02-28 00:55:23 +00:00
preamble.tex	Cleanup.	2023-02-26 11:00:57 +00:00
root.bib	added LNCS number to ABZ paper	2023-04-27 13:02:37 +02:00
root.mst	Integrated manual into Isabelle/DOF session.	2023-02-19 15:49:07 +00:00