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 |