Burkhart Wolff 33490f8f15 table cell syntax implemented; roughly tested.		2022-10-09 14:01:53 +02:00
..
CC_v3_1_R5	Renaming to ensure compliance with naming restrictions.	2022-06-29 19:08:56 +01:00
CENELEC_50128	renamed cenelec_document into cenelec_report.	2022-08-01 21:50:49 +02:00
Conceptual	Made all import paths globally qualified.	2022-05-06 09:17:10 +01:00
scholarly_paper	table cell syntax implemented; roughly tested.	2022-10-09 14:01:53 +02:00
small_math	Made all import paths globally qualified.	2022-05-06 09:17:10 +01:00
technical_report	renamed cenelec_document into cenelec_report.	2022-08-01 21:50:49 +02:00
ontologies.thy	Renaming to ensure compliance with naming restrictions.	2022-06-29 19:08:56 +01:00