--- a/src/HOL/Record.thy Thu Mar 15 20:07:00 2012 +0100 +++ b/src/HOL/Record.thy Thu Mar 15 22:08:53 2012 +0100 @@ -10,6 +10,7 @@ theory Record imports Plain Quickcheck_Narrowing +keywords "record" :: thy_decl uses ("Tools/record.ML") begin