nicolas.meric
/
Isabelle_DOF
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
Isabelle_DOF/src/DOF
History
Achim D. Brucker cfdbd18bfa Resolved merge conflict. 2022-10-30 11:52:41 +00:00
..
latex Moved core ACM styles into DOF-core.sty. 2022-06-29 21:45:09 +01:00
Isa_COL.thy Adapted to Isabelle/1ac2416e8432 -- approx. Isabelle2022 release. 2022-10-24 21:30:49 +02:00
Isa_DOF.thy Resolved merge conflict. 2022-10-30 11:52:41 +00:00
RegExpInterface.thy Adapted to Isabelle/1ac2416e8432 -- approx. Isabelle2022 release. 2022-10-24 21:30:49 +02:00