src/HOL/record.ML
1998-01-14 narasche 1998-01-14 error with instantiantion of sub-records removed
1998-01-13 narasche 1998-01-13 Simplification: sel make and update make
1997-12-19 narasche 1997-12-19 records without signature
1997-12-19 narasche 1997-12-19 first version of records