Burkhart Wolff 9403afd86f addressing the value* transmission problem - not yet solved completely		2022-03-30 17:54:02 +02:00
..
latex	Official support for lipics-v2021 (fixes #13).	2022-03-27 12:20:49 +01:00
.Isa_DOF.thy.marks	Update assert* to use isabelle/DOF evaluation	2022-03-30 08:12:17 +02:00
Isa_COL.thy	Adaptations for Isabelle2021-1.	2021-12-18 23:06:51 +01:00
Isa_DOF.thy	addressing the value* transmission problem - not yet solved completely	2022-03-30 17:54:02 +02:00
RegExpInterface.thy	changed 'L' - operator to 'Lang' in order to avoid name conflicts in papers.	2022-01-31 10:44:02 +01:00