Makarius Wenzel 0c8a0e1d63 Adapted to Isabelle/1ac2416e8432 -- approx. Isabelle2022 release.		2022-10-24 21:30:49 +02:00
..
figures	Fixed file attributes.	2022-04-18 09:44:44 +01:00
AssnsLemmaThmEtc.thy	Fixed file attributes.	2022-04-18 09:44:44 +01:00
Attributes.thy	Normalize docobj table value	2022-05-25 17:10:57 +02:00
Cenelec_Test.thy	Implement CENELEC Table A.1	2022-06-13 07:56:53 +02:00
Concept_Example.thy	Fixed file attributes.	2022-04-18 09:44:44 +01:00
Concept_Example_Low_Level_Invariant.thy	Fixed file attributes.	2022-04-18 09:44:44 +01:00
Evaluation.thy	Cleanup and add test for meta-args for assert*	2022-04-19 14:05:52 +02:00
High_Level_Syntax_Invariants.thy	Enable high level invariants checking for some commands	2022-05-27 17:14:17 +02:00
Isabelle2021-1.thy	Restructuring.	2022-03-26 19:31:23 +00:00
Ontology_Matching_Example.thy	Add checking of invariants for class instances	2022-01-24 17:30:48 +01:00
OutOfOrderPresntn.thy	Adapted to Isabelle/1ac2416e8432 -- approx. Isabelle2022 release.	2022-10-24 21:30:49 +02:00
ROOT	Fixed file attributes.	2022-04-18 09:44:44 +01:00
TermAntiquotations.thy	Fixed file attributes.	2022-04-18 09:44:44 +01:00