src/Pure/pure_thy.ML
1997-11-20 wenzelm 1997-11-20 improved theorems print method: transfer_sg;
1997-11-04 wenzelm 1997-11-04 type object = exn (enhance readability);
1997-11-03 wenzelm 1997-11-03 made SML/97 happy;
1997-10-30 wenzelm 1997-10-30 tuned thy_data;
1997-10-30 wenzelm 1997-10-30 tuned;
1997-10-28 wenzelm 1997-10-28 added ignored_consts, thms_containing, add_store_axioms(_i), add_store_defs(_i), thms_of; tuned pure thys;
1997-10-27 wenzelm 1997-10-27 oops;
1997-10-27 wenzelm 1997-10-27 renamed put_* to store_*;
1997-10-24 wenzelm 1997-10-24 oops, swap warnings;
1997-10-24 wenzelm 1997-10-24 Init 'theorems' data. The Pure theories.