src/Pure/Thy/ROOT.ML
1995-09-01 clasohm 1995-09-01 added cleanup of global simpset to thy_read; replaced error by warning for duplicate names in theorem database
1995-08-07 nipkow 1995-08-07 Added findI, findEs, and findE.
1995-06-01 clasohm 1995-06-01 commented thms_unifying_with out; placed thm_db into signature again; placed structures ThmDB and Readthy into Pure again; changed init_thy_reader so that thm_db and loaded_thys are preserved (necessary e.g. for ZF)
1995-05-30 clasohm 1995-05-30 fixed bug: ThySynFun really shouldn't be deleted
1995-05-29 clasohm 1995-05-29 replaced "All" by "all" in ThmdbFUN's ignore parameter
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