src/HOL/thy_data.ML
1997-01-29 paulson 1997-01-29 Moved qed_spec_mp, etc., from HOL.ML to thy_data.ML so that they work properly in children databases
1996-05-07 berghofe 1996-05-07 Added function claset_of.
1996-04-19 clasohm 1996-04-19 added Konrad's code for the datatype package
1996-04-12 clasohm 1996-04-12 changed first parameter of add_thydata and get_thydata
1996-01-30 clasohm 1996-01-30 expanded tabs
1996-01-29 clasohm 1996-01-29 changed the way simpsets and information about datatypes are stored