| Thu, 13 Apr 2000 15:01:50 +0200 | nipkow | Times -> <*> | file | diff | annotate |
| Mon, 20 Mar 2000 10:23:24 +0100 | paulson | deleted unnecessary "simpset" part from recdef | file | diff | annotate |
| Thu, 22 Apr 1999 13:04:23 +0200 | wenzelm | recdef requires theory Recdef; | file | diff | annotate |
| 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 |