Isabelle_DOF/Isabelle_DOF-Proofs
Nicolas Méric ec7297f1d3
ci/woodpecker/push/build Pipeline failed Details
Update instances list term antiquotation
Make instances list term antiquotation compatible with
polymorphic classes
2023-09-11 09:07:10 +02:00
..
ROOT Add very deep interpretation 2023-02-24 10:44:47 +01:00
Reification_Test.thy Cleanup 2023-05-12 20:04:44 +02:00
Very_Deep_DOF.thy Cleanup 2023-05-12 20:04:44 +02:00
Very_Deep_Interpretation.thy Update instances list term antiquotation 2023-09-11 09:07:10 +02:00