| Wed, 11 Nov 2009 14:15:11 +0100 | wenzelm | uniform use of simultabeous use_thys; | file | diff | annotate |
| Tue, 31 Jul 2007 22:21:22 +0200 | wenzelm | setmp_noncritical print_mode; | file | diff | annotate |
| 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 |