| Tue, 13 Nov 2007 11:02:55 +0100 | berghofe | Removed some case_names and consumes attributes that are now no longer | changeset | files |
| Tue, 13 Nov 2007 11:00:29 +0100 | berghofe | Added TrueE to extraction_expand. | changeset | files |
| Tue, 13 Nov 2007 10:59:26 +0100 | berghofe | Added new program extraction examples. | changeset | files |
| Tue, 13 Nov 2007 10:58:46 +0100 | berghofe | New case studies for program extraction. | changeset | files |
| Tue, 13 Nov 2007 10:57:47 +0100 | berghofe | Moved auxiliary lemmas to separate theory. | changeset | files |
| Tue, 13 Nov 2007 10:55:54 +0100 | berghofe | Added new exampes Greatest_Common_Divisor and Euclid. | changeset | files |
| Tue, 13 Nov 2007 10:55:08 +0100 | berghofe | Moved nat_eq_dec to Util.thy | changeset | files |