src/HOL/thy_data.ML
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