| .. |
|
document
|
Added PDF document generation (Fixes: #22).
|
2023-02-22 09:52:05 +00:00 |
|
AssnsLemmaThmEtc.thy
|
Disabled PDF generation for currently not supported references.
|
2023-05-15 17:55:52 +02:00 |
|
Attributes.thy
|
Cleanup
|
2023-09-20 15:56:50 +02:00 |
|
COL_Test.thy
|
Disabled PDF generation for currently not supported references.
|
2023-05-15 17:55:52 +02:00 |
|
Cenelec_Test.thy
|
Update malformed theory names
|
2023-04-27 14:53:17 +02:00 |
|
Concept_Example_Low_Level_Invariant.thy
|
Update malformed theory names
|
2023-04-27 14:53:17 +02:00 |
|
Concept_High_Level_Invariants.thy
|
Enable term anti-quotations in class invariants
|
2024-02-14 11:15:13 +01:00 |
|
Concept_MonitorTest1.thy
|
Update instances list term antiquotation
|
2023-09-11 09:07:10 +02:00 |
|
Concept_MonitorTest2.thy
|
Implement long names for classes term-antiquotataions
|
2023-05-11 19:02:55 +02:00 |
|
Concept_OntoReferencing.thy
|
Polymorphic classes first draft
|
2023-07-19 18:58:04 +02:00 |
|
Concept_TermAntiquotations.thy
|
Polymorphic classes first draft
|
2023-07-19 18:58:04 +02:00 |
|
Concept_TermEvaluation.thy
|
Update instances list term antiquotation
|
2023-09-11 09:07:10 +02:00 |
|
Isabelle_DOF_Unit_Tests_document.thy
|
Update malformed theory names
|
2023-04-27 14:53:17 +02:00 |
|
Latex_Tests.thy
|
Use binding for instances name
|
2023-07-20 10:11:48 +02:00 |
|
Ontology_Matching_Example.thy
|
Update malformed theory names
|
2023-04-27 14:53:17 +02:00 |
|
OutOfOrderPresntn.thy
|
Use binding for instances name
|
2023-07-20 10:11:48 +02:00 |
|
ROOT
|
Polymorphic classes first draft
|
2023-07-19 18:58:04 +02:00 |
|
TestKit.thy
|
Merge.
|
2023-08-29 08:09:28 +01:00 |
|
Test_Polymorphic_Classes.thy
|
Fix typo
|
2024-03-12 16:02:25 +01:00 |
10b98b660f