src/Pure/IsaMakefile
1997-05-06 wenzelm 1997-05-06 fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
1997-04-16 wenzelm 1997-04-16 added sorts.ML, type_infer.ML;
1997-03-07 wenzelm 1997-03-07 tuned comments;
1997-02-28 wenzelm 1997-02-28 added Syntax/token_trans.ML;
1996-12-18 wenzelm 1996-12-18 IsaMakefile for Pure Isabelle;