1.1 --- a/src/HOL/Tools/record_package.ML	Fri Dec 21 23:17:35 2001 +0100
     1.2 +++ b/src/HOL/Tools/record_package.ML	Fri Dec 21 23:18:27 2001 +0100
     1.3 @@ -848,7 +848,9 @@
     1.4        |> (PureThy.add_defs_i false o map Thm.no_attributes) sel_specs
     1.5        |>>> (PureThy.add_defs_i false o map Thm.no_attributes) update_specs
     1.6        |>>> (PureThy.add_defs_i false o map Thm.no_attributes)
     1.7 -        [make_spec, fields_spec, extend_spec, truncate_spec];
     1.8 +        [make_spec, fields_spec, extend_spec, truncate_spec]
     1.9 +      |>> Theory.hide_consts false [full makeN, full fieldsN, full extendN, full truncateN,
    1.10 +        full moreN, full (suffix updateN moreN)];
    1.11  
    1.12  
    1.13      (* 3rd stage: thms_thy *)