Achim D. Brucker cb91c97028 Configured secnumdepth to not number paragraphs and subsubsections.		2019-08-13 08:55:43 +01:00
..
Isabelle_DOF-Manual	Configured secnumdepth to not number paragraphs and subsubsections.	2019-08-13 08:55:43 +01:00
TR_my_commented_isabelle	Updated Isabelle/DOF repository URL.	2019-08-04 22:47:52 +01:00
ROOTS	Fixed naming inconsistency.	2019-07-22 14:41:29 +01:00