src/HOL/thy_data.ML
Tue, 07 May 1996 09:58:12 +0200 berghofe Added function claset_of.
Fri, 19 Apr 1996 11:33:24 +0200 clasohm added Konrad's code for the datatype package
Fri, 12 Apr 1996 12:41:26 +0200 clasohm changed first parameter of add_thydata and get_thydata
Tue, 30 Jan 1996 15:24:36 +0100 clasohm expanded tabs
Mon, 29 Jan 1996 13:48:37 +0100 clasohm changed the way simpsets and information about datatypes are stored
less more (0) tip