src/HOL/Tools/record_package.ML
changeset 5210 54aaa779b6b4
parent 5201 fac6fea3b782
child 5212 2bc5b5cf0516
     1.1 --- a/src/HOL/Tools/record_package.ML	Tue Jul 28 17:03:12 1998 +0200
     1.2 +++ b/src/HOL/Tools/record_package.ML	Tue Jul 28 17:05:34 1998 +0200
     1.3 @@ -99,7 +99,7 @@
     1.4  
     1.5  (* more type class *)
     1.6  
     1.7 -val moreS = ["more"];
     1.8 +val moreS = ["Record.more"];
     1.9  
    1.10  
    1.11  (* types *)