| 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 |