| 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 |