src/Pure/Thy/thy_info.ML
1999-04-22 wenzelm 1999-04-22 use_thy etc.: may specify path prefix, which is temporarily used as load path;
1999-03-17 wenzelm 1999-03-17 fixed msg;
1999-03-17 wenzelm 1999-03-17 tuned msgs; removed verbose flag;
1999-03-12 wenzelm 1999-03-12 removed obsolete user data stuff; removed junk;
1999-03-09 wenzelm 1999-03-09 added use_path; begin_theory: include files;
1999-02-08 wenzelm 1999-02-08 tuned msgs;
1999-02-05 wenzelm 1999-02-05 time_use made pervasive; load_file: time option; tuned;
1999-02-04 wenzelm 1999-02-04 tuned;
1999-02-03 wenzelm 1999-02-03 check_thy: include ML stamp;
1999-02-03 wenzelm 1999-02-03 Theory loader database: theory and file dependencies, theory values and user data.
1998-07-29 wenzelm 1998-07-29 late setup of Pure and CPure;
1998-07-28 wenzelm 1998-07-28 theory_of renamed to theory (and made public);
1998-05-28 wenzelm 1998-05-28 tuned error msg;
1998-05-25 wenzelm 1998-05-25 tuned store_theory: theory -> unit;
1997-11-04 wenzelm 1997-11-04 removed old thy data stuff;
1997-10-24 wenzelm 1997-10-24 ProtoPure.thy etc.;
1997-10-23 wenzelm 1997-10-23 tuned;
1997-08-06 berghofe 1997-08-06 Moved functions for theory information storage / retrieval from thy_read.ML to thy_info.ML .