| 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 |
| Wed, 20 Jul 2011 08:16:41 +0200 | bulwahn | removing inner time limits in quickcheck | changeset | files |
| Wed, 20 Jul 2011 08:16:39 +0200 | bulwahn | updating documentation about quickcheck; adding information about try | changeset | files |