| .. |
|
document
|
Added PDF document generation (Fixes: #22).
|
2023-02-22 09:52:05 +00:00 |
|
AssnsLemmaThmEtc.thy
|
Update malformed theory names
|
2023-04-27 14:53:17 +02:00 |
|
Attributes.thy
|
Update malformed theory names
|
2023-04-27 14:53:17 +02:00 |
|
COL_Test.thy
|
Some repair on the coherence problems in COL
|
2023-05-10 15:54:02 +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
|
Update malformed theory names
|
2023-04-27 14:53:17 +02:00 |
|
Concept_MonitorTest1.thy
|
Update malformed theory names
|
2023-04-27 14:53:17 +02:00 |
|
Concept_MonitorTest2.thy
|
Add monitor tests
|
2023-03-15 11:02:18 +01:00 |
|
Concept_OntoReferencing.thy
|
Update malformed theory names
|
2023-04-27 14:53:17 +02:00 |
|
Concept_TermAntiquotations.thy
|
Update malformed theory names
|
2023-04-27 14:53:17 +02:00 |
|
Concept_TermEvaluation.thy
|
updated Evaluation Section
|
2023-03-24 08:28:14 +01:00 |
|
Isabelle_DOF_Unit_Tests_document.thy
|
Update malformed theory names
|
2023-04-27 14:53:17 +02:00 |
|
Latex_Tests.thy
|
renamed figure2 into float
|
2023-05-10 12:37:29 +02:00 |
|
Ontology_Matching_Example.thy
|
Update malformed theory names
|
2023-04-27 14:53:17 +02:00 |
|
OutOfOrderPresntn.thy
|
renamed figure2 into float
|
2023-05-10 12:37:29 +02:00 |
|
ROOT
|
Some first test on the COL library, assuring coherence between text* and figure* versiona.
|
2023-05-09 12:59:42 +02:00 |
|
TestKit.thy
|
Update malformed theory names
|
2023-04-27 14:53:17 +02:00 |
Burkhart Wolff
50da7670cf