| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Mon, 21 Oct 2002 17:23:23 +0200 | berghofe | Eta contraction is now switched off when printing extracted program. | file | diff | annotate |
| Wed, 07 Aug 2002 16:50:08 +0200 | berghofe | Removed (now unneeded) declaration of realizer for induction on datatype b. | file | diff | annotate |
| Sun, 21 Jul 2002 15:44:42 +0200 | berghofe | Examples for program extraction in HOL. | file | diff | annotate |