| Wed, 22 Jul 2009 08:05:33 +0200 | haftmann | explicit antiquotation | file | diff | annotate |
| Tue, 21 Jul 2009 15:52:30 +0200 | haftmann | dropped ancient flat_names option | file | diff | annotate |
| Wed, 15 Jul 2009 23:48:21 +0200 | wenzelm | more antiquotations; | file | diff | annotate |
| Fri, 03 Jul 2009 16:51:08 +0200 | haftmann | nominal.ML is nominal_datatype.ML | file | diff | annotate | base |