| Thu, 01 Feb 2001 20:51:48 +0100 | oheimb | converted to Isar therory, adding attributes complete_split and split_format | file | diff | annotate |
| Thu, 12 Oct 2000 18:38:23 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 23 Aug 1999 15:30:26 +0200 | wenzelm | isatool expandshort; | 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 |