| Fri, 04 May 2001 15:38:48 +0200 | nipkow | made same_fst recdef_simp | file | diff | annotate |
| Sat, 03 Feb 2001 17:43:05 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 29 Jan 2001 23:54:56 +0100 | wenzelm | avoid dead code; | file | diff | annotate |
| Fri, 26 Jan 2001 15:50:52 +0100 | nipkow | Merged Example into While_Combi | file | diff | annotate |
| Wed, 03 Jan 2001 21:24:29 +0100 | wenzelm | recdef_tc; | file | diff | annotate |
| Thu, 14 Dec 2000 19:37:27 +0100 | wenzelm | unsymbolize; | file | diff | annotate |
| Wed, 13 Dec 2000 09:32:55 +0100 | nipkow | small mods. | file | diff | annotate |
| Thu, 19 Oct 2000 01:48:26 +0200 | wenzelm | use RecdefPackage.tcs_of; | file | diff | annotate |
| Wed, 18 Oct 2000 23:29:49 +0200 | wenzelm | A general ``while'' combinator (from main HOL); | file | diff | annotate |