| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Tue, 12 Mar 2002 19:20:23 +0100 | kleing | workaround for "ins" bug in sml/nj + code generator | file | diff | annotate |
| Sat, 09 Mar 2002 20:39:46 +0100 | kleing | canonical start state | file | diff | annotate |