src/Pure/ROOT.ML
1994-05-26 wenzelm 1994-05-26 added "axclass.ML", structure AxClass;
1993-10-28 lcp 1993-10-28 updated version to October 93
1993-10-22 clasohm 1993-10-22 delete_file now has type string -> unit in both NJ and POLY, use of Pure/Thy/ROOT has been moved to the end of Pure/ROOT again
1993-10-04 wenzelm 1993-10-04 Pure/ROOT.ML cleaned comments; removed extraneous 'print_depth 1'; replaced Basic_Syntax by BasicSyntax added 'use "install_pp.ML"'; Pure/README fixed comments; Pure/POLY.ML Pure/NJ.ML make_pp: added fbrk; Pure/install_pp.ML replaced "Ast" by "Syntax"; Pure/sign.ML added 'quote' to some error msgs;
1993-09-16 clasohm 1993-09-16 moved use of Thy/ROOT.ML to end of file because Thy/read.ML needs Thm
1993-09-16 clasohm 1993-09-16 Initial revision