Sat, 06 Oct 2001 00:02:46 +0200 | wenzelm | * sane numerals (stage 2): plain "num" syntax (removed "#"); | file | diff | annotate |
Wed, 24 Jan 2001 00:06:32 +0100 | wenzelm | no_brackets; | file | diff | annotate |
Tue, 23 Jan 2001 18:05:53 +0100 | wenzelm | added HOL-Unix example; | file | diff | annotate |