| Tue, 18 Sep 2007 18:05:37 +0200 | wenzelm | simplified PrintMode interfaces; | 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 |
| Thu, 19 Aug 1999 19:55:13 +0200 | wenzelm | quite a lot of tuning an cleanup; | file | diff | annotate |
| Thu, 22 Apr 1999 10:56:37 +0200 | mueller | added modelchecker mucke besides modelchecker eindhoven; | file | diff | annotate |