Tue, 07 Jul 2009 17:50:03 +0200 | haftmann | merged | changeset | files |
Tue, 07 Jul 2009 17:21:27 +0200 | haftmann | tuned interface of structure Code | changeset | files |
Tue, 07 Jul 2009 17:21:26 +0200 | haftmann | more accurate certificates for constant aliasses | changeset | files |
Tue, 07 Jul 2009 21:24:55 +0200 | haftmann | merged | changeset | files |
Tue, 07 Jul 2009 17:37:00 +0200 | haftmann | Stefan Berghofer's code generator uses Pure equality instead of HOL equality now | changeset | files |
Tue, 07 Jul 2009 20:16:06 +0200 | wenzelm | fixed proof (cf. 40501bb2d57c); | changeset | files |