| Tue, 13 Nov 2007 10:55:54 +0100 | berghofe | Added new exampes Greatest_Common_Divisor and Euclid. | file | diff | annotate |
| Sat, 10 Nov 2007 14:36:33 +0100 | wenzelm | qualified Proofterm.proofs; | file | diff | annotate |
| Tue, 31 Jul 2007 22:21:20 +0200 | wenzelm | simultaneous use_thys; | file | diff | annotate |
| Thu, 19 Jul 2007 21:47:39 +0200 | haftmann | uniform naming conventions for CG theories | file | diff | annotate |
| Fri, 05 Aug 2005 19:57:57 +0200 | berghofe | New case study: pigeonhole principle. | file | diff | annotate |
| Sun, 21 Jul 2002 15:44:42 +0200 | berghofe | Examples for program extraction in HOL. | file | diff | annotate |