src/HOL/record.ML
Wed, 14 Jan 1998 11:10:19 +0100 narasche error with instantiantion of sub-records removed
Tue, 13 Jan 1998 10:40:38 +0100 narasche Simplification: sel make and update make
Fri, 19 Dec 1997 13:31:08 +0100 narasche records without signature
Fri, 19 Dec 1997 12:00:24 +0100 narasche first version of records
less more (0) tip