| Wed, 16 Apr 1997 18:17:38 +0200 | wenzelm | added sorts.ML, type_infer.ML; | file | diff | annotate |
| Fri, 07 Mar 1997 14:51:50 +0100 | wenzelm | tuned comments; | file | diff | annotate |
| Fri, 28 Feb 1997 16:38:55 +0100 | wenzelm | added Syntax/token_trans.ML; | file | diff | annotate |
| Wed, 18 Dec 1996 12:41:48 +0100 | wenzelm | IsaMakefile for Pure Isabelle; | file | diff | annotate |