| Thu, 04 Mar 2004 15:48:38 +0100 | nipkow | ML -> Isar | file | diff | annotate |
| Tue, 18 Apr 2000 00:36:02 +0200 | wenzelm | fixed theory deps; | file | diff | annotate |
| Mon, 27 Apr 1998 16:46:56 +0200 | nipkow | Added conversion of reg.expr. to automata. | file | diff | annotate |