| Tue, 19 Jul 2011 14:37:49 +0200 | hoelzl | add nat => enat coercion | changeset | files |
| Tue, 19 Jul 2011 14:37:09 +0200 | hoelzl | Introduce infinity type class | changeset | files |
| Tue, 19 Jul 2011 14:36:12 +0200 | hoelzl | Rename extreal => ereal | changeset | files |
| Tue, 19 Jul 2011 14:35:44 +0200 | hoelzl | rename Nat_Infinity (inat) to Extended_Nat (enat) | changeset | files |
| Wed, 20 Jul 2011 10:11:08 +0200 | Cezary Kaliszyk | HOL/Import reorganization/cleaning. Factor 9 speedup. Remove Import XML parser in favor of much faster of Isabelle's XML parser. Remove ImportRecording since we can use Isabelle images. | changeset | files |
| Wed, 20 Jul 2011 08:46:17 +0200 | kleing | build an image for HOL-IMP | changeset | files |
| Wed, 20 Jul 2011 08:16:42 +0200 | bulwahn | deactivating quickcheck invocation in this example until the Interrupt issue is understood | changeset | files |