Achim D. Brucker 45c23b4330 Fixed environment for isamarkupabstract.		2022-04-20 11:07:06 +01:00
..
CC_v3.1_R5	enforcing shorter Definition* - style in examples (CC,CENELEC,...)	2020-12-02 09:32:48 +01:00
CENELEC_50128	Fixed file attributes.	2022-04-18 09:22:57 +01:00
Conceptual	Minor syntax cleanup.	2022-03-20 14:55:56 +00:00
scholarly_paper	Fixed environment for isamarkupabstract.	2022-04-20 11:07:06 +01:00
small_math	Fixed file attributes.	2022-04-18 09:22:57 +01:00
technical_report	Fixed file attributes.	2022-04-18 09:22:57 +01:00
ontologies.thy	Fixed file attributes.	2022-04-18 09:22:57 +01:00