| Mon, 12 Jun 2006 09:14:41 +0200 | haftmann | fixed smlnj incompat. | file | diff | annotate |
| Sun, 11 Jun 2006 21:59:30 +0200 | wenzelm | actually invoke result elements; | file | diff | annotate |
| Wed, 07 Jun 2006 02:01:36 +0200 | wenzelm | Schematic invocation of locale expression in proof context. | file | diff | annotate |