src/Pure/Thy/ROOT.ML
1995-05-29 clasohm 1995-05-29 added theorem database which contains axioms and theorems indexed by the constants they contain
1995-04-28 nipkow 1995-04-28 Added functor f() = struct end to hide functors to save space.
1994-06-20 clasohm 1994-06-20 parse.ML and scan.ML are now replaced by thy_parse.ML and thy_scan.ML
1994-06-01 wenzelm 1994-06-01 removed garbage; adapted to new ThySyn (interface for 'user sections');
1994-05-19 wenzelm 1994-05-19 *** empty log message ***
1993-10-22 clasohm 1993-10-22 changes in Readthy: - reads needed base theories automatically - keeps a time stamp for all read files - update function - checks for cycles - path list that is searched for files - reads theories that are created in .ML files - etc.
1993-09-16 clasohm 1993-09-16 Initial revision