src/Pure/IsaMakefile
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;