Burkhart Wolff
|
243545be5d
|
Passt doch.
Merge branch 'master' of https://git.logicalhacking.com/HOL-OCL/Isabelle_DOF
|
2018-06-08 17:12:45 +02:00 |
Achim D. Brucker
|
d9228420e1
|
Port to Isabelle/DOF 0.0.3.
|
2018-06-08 14:41:16 +01:00 |
Burkhart Wolff
|
87fa4a975f
|
iUpdated nach diskussion mit Achim
|
2018-06-08 12:13:45 +02:00 |
Burkhart Wolff
|
ea4246a7a0
|
ncomplete checkin. Modifs on ROOT.
|
2018-06-08 11:46:44 +02:00 |
Burkhart Wolff
|
cab810a8a6
|
Restructuring, and basic infrastructure for buildsRestructuring, and basic infrastructure for builds..
|
2018-06-08 09:29:57 +02:00 |
Burkhart Wolff
|
68afffe674
|
Modifs on Math-Exam. and Article.
Preparing code-infrastructure for Attribute Evaluations.
Improved “MyCommented Isabelle”.
|
2018-06-07 13:56:15 +02:00 |
Chantal Keller
|
7eb9082628
|
Merge branch 'master' of git.logicalhacking.com:HOL-OCL/Isabelle_DOF
|
2018-06-06 19:27:16 +02:00 |
Chantal Keller
|
30b3526fb2
|
BAC2017: more structure
|
2018-06-06 19:24:17 +02:00 |
Idir AIT SADOUNE
|
23db0e7568
|
no message
|
2018-06-06 12:00:22 +02:00 |
Chantal Keller
|
80f92c168c
|
BAC2017: tried proofs
|
2018-06-06 08:37:06 +02:00 |
Chantal Keller
|
3b7a029d35
|
BAC2017: first two questions
|
2018-06-05 20:56:02 +02:00 |
Chantal Keller
|
49f1ed5200
|
BAC2017: removed errors
|
2018-06-05 19:20:00 +02:00 |
Idir AIT SADOUNE
|
b030859ddf
|
no message
|
2018-06-04 14:46:11 +02:00 |
Idir AIT SADOUNE
|
7de68e7564
|
no message
|
2018-06-04 13:44:08 +02:00 |
Burkhart Wolff
|
37123100df
|
Massage
|
2018-05-29 14:13:49 +02:00 |
Burkhart Wolff
|
1fd4f76fb3
|
Corrected sheet, added proof.
|
2018-05-29 14:03:07 +02:00 |
Burkhart Wolff
|
ce17b1cf58
|
Repaired MathExam wrt. Ontology.
|
2018-05-29 12:02:13 +02:00 |
Burkhart Wolff
|
0f32ddb71a
|
Restructuring the example directory. Fixing math exa stuff.
|
2018-05-24 11:35:35 +02:00 |