| Fri, 24 Jul 1998 13:19:38 +0200 | berghofe | Adapted to new datatype package. | file | diff | annotate |
| Mon, 25 May 1998 12:55:01 +0200 | nipkow | Swapped order of params. | file | diff | annotate |
| Thu, 14 May 1998 16:54:20 +0200 | nipkow | Reordred arguments in AutoChopper. | file | diff | annotate |
| Mon, 27 Apr 1998 16:46:56 +0200 | nipkow | Added conversion of reg.expr. to automata. | 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 |
| Thu, 08 Aug 1996 11:34:29 +0200 | berghofe | Simplified primrec definitions. | file | diff | annotate |