| Mon, 22 Oct 2007 15:24:55 +0200 | wenzelm | added @{sort}, @{type_syntax} antiquotations; | file | diff | annotate |
| Mon, 24 Sep 2007 21:07:40 +0200 | wenzelm | added @{type_name}; | file | diff | annotate |
| Sun, 23 Sep 2007 22:23:37 +0200 | wenzelm | tuned @{cpat}; | file | diff | annotate |
| Sat, 15 Sep 2007 19:26:06 +0200 | wenzelm | tuned comments; | file | diff | annotate |
| Fri, 14 Sep 2007 17:02:34 +0200 | wenzelm | moved ML_XXX.ML files to Pure/ML; | file | diff | annotate |