| Mon, 27 Apr 1998 16:46:56 +0200 | nipkow | Added conversion of reg.expr. to automata. | file | diff | annotate |
| Tue, 10 Mar 1998 13:23:35 +0100 | nipkow | Removed expand_split from simpset. | file | diff | annotate |
| Wed, 05 Nov 1997 09:08:35 +0100 | nipkow | Added an alternativ version of AutoChopper and a theory for the conversion of | file | diff | annotate |