| 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 |