| Wed, 24 Feb 2010 22:09:50 +0100 | wenzelm | modernized syntax declarations, and make them actually work with authentic syntax; | file | diff | annotate |
| Tue, 07 Oct 2008 16:07:50 +0200 | haftmann | arbitrary is undefined | file | diff | annotate |
| 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 |
| Sun, 03 Mar 2002 16:59:08 +0100 | kleing | symbolized | file | diff | annotate |
| Thu, 21 Feb 2002 09:54:08 +0100 | kleing | new document | file | diff | annotate |