src/Pure/ROOT.ML
1995-04-28 ago Added
1995-04-25 ago updated version
1995-03-03 ago added CPure (curried functions) and ProtoPure (ancestor of Pure and CPure)
1995-02-27 ago Updated the "version" variable (which was never done for
1994-10-12 ago AxClass no longer open;
1994-09-26 ago added init_database (somewhat experimental);
1994-09-13 ago updated the identifier "version"
1994-05-26 ago added "axclass.ML", structure AxClass;
1993-10-28 ago updated version to October 93
1993-10-22 ago delete_file now has type string -> unit in both NJ and POLY,
1993-10-04 ago Pure/ROOT.ML
1993-09-16 ago moved use of Thy/ROOT.ML to end of file because Thy/read.ML needs Thm
1993-09-16 ago Initial revision