Nicolas Méric 9b396b6096 Merge branch 'main' into ICFEM-2022		2022-04-20 09:32:08 +02:00
..
CC_v3.1_R5	enforcing shorter Definition* - style in examples (CC,CENELEC,...)	2020-12-02 09:32:48 +01:00
CENELEC_50128	Merge branch 'main' into ICFEM-2022	2022-04-20 09:32:08 +02:00
Conceptual	Minor syntax cleanup.	2022-03-20 14:55:56 +00:00
scholarly_paper	Fixed file attributes.	2022-04-18 09:22:57 +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