Achim D. Brucker 205aa5a6b1 Moved core ACM styles into DOF-core.sty.		2022-06-29 21:45:09 +01:00
..
latex	Moved core ACM styles into DOF-core.sty.	2022-06-29 21:45:09 +01:00
Isa_COL.thy	Normalize docobj table value	2022-05-25 17:10:57 +02:00
Isa_DOF.thy	Implement CENELEC Table A.1	2022-06-13 07:56:53 +02:00
RegExpInterface.thy	Fixed file attributes.	2022-04-17 16:32:12 +01:00