| Wed, 13 Nov 2002 15:34:01 +0100 | berghofe | Removed (now unneeded) declarations of realizers for bar induction. | file | diff | annotate |
| Wed, 07 Aug 2002 16:49:25 +0200 | berghofe | Removed (now unneeded) declarations of realizers for induction on lists and letters. | file | diff | annotate |
| Sun, 21 Jul 2002 15:44:42 +0200 | berghofe | Examples for program extraction in HOL. | file | diff | annotate |