Sat, 20 Jan 2001 00:35:35 +0100 | wenzelm | tuned; | file | diff | annotate |
Wed, 13 Dec 2000 09:32:55 +0100 | nipkow | small mods. | file | diff | annotate |
Sat, 04 Nov 2000 18:41:37 +0100 | wenzelm | tuned; | file | diff | annotate |
Wed, 18 Oct 2000 23:29:49 +0200 | wenzelm | A general ``while'' combinator (from main HOL); | file | diff | annotate |