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 |