| Wed, 19 Mar 2008 22:50:42 +0100 | wenzelm | more antiquotations; | file | diff | annotate |
| Thu, 26 Apr 2007 16:39:31 +0200 | wenzelm | removed legacy ML files; | file | diff | annotate |
| Sun, 26 Nov 2006 18:07:16 +0100 | wenzelm | updated (binder) syntax/notation; | file | diff | annotate |
| Tue, 06 Sep 2005 16:24:53 +0200 | wenzelm | converted to Isar theory format; | file | diff | annotate |
| Tue, 01 Jun 2004 12:33:50 +0200 | wenzelm | removed obsolete sort 'logic'; | file | diff | annotate |
| Tue, 08 Jan 2002 00:03:42 +0100 | wenzelm | syntax "_not_equal"; | file | diff | annotate |
| Mon, 02 Oct 2000 14:57:46 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 16 Jul 2000 20:56:53 +0200 | wenzelm | adapted tuple syntax; | file | diff | annotate |
| Tue, 13 Jun 2000 18:34:59 +0200 | wenzelm | rename @case to _case_syntax (improves on low-level errors); | file | diff | annotate |
| Thu, 22 Apr 1999 10:56:37 +0200 | mueller | added modelchecker mucke besides modelchecker eindhoven; | file | diff | annotate |