Achim D. Brucker 3f8fc4f16f Tuning.		2023-05-10 11:13:45 +02:00
..
CC_v3_1_R5	Fix scholarly_paper	2023-04-19 15:53:31 +02:00
CENELEC_50128	Fix scholarly_paper	2023-04-19 15:53:31 +02:00
Conceptual	deleting subparagraph (never used),orienting Example-I on figure2.	2023-05-09 16:15:47 +02:00
document	Synchronised updates.	2023-05-02 22:34:34 +01:00
document-templates	Tuning.	2023-05-10 11:13:45 +02:00
small_math	Fix ML invariants bug	2023-03-03 17:33:46 +01:00
ROOT	Update malformed theory names	2023-04-27 14:53:17 +02:00
document_setup.thy	Use DOF-CC_terminology.sty.	2023-04-14 20:55:23 +01:00
document_templates.thy	Initial support for Springer Nature's LaTeX template.	2023-05-10 10:40:19 +02:00