| Tue, 13 Nov 2007 11:04:30 +0100 | berghofe | Added JAR paper by Wenzel and Wiedijk. | file | diff | annotate |
| Fri, 05 Aug 2005 19:58:30 +0200 | berghofe | Added ENTCS 2000 paper by Aleksey Nogin. | file | diff | annotate |
| Sun, 21 Jul 2002 15:45:41 +0200 | berghofe | Document for program extraction in HOL. | file | diff | annotate |