hol_setup;

--- a/src/HOL/HOL.ML	Tue Apr 27 10:42:55 1999 +0200
+++ b/src/HOL/HOL.ML	Tue Apr 27 10:43:52 1999 +0200
@@ -429,7 +429,7 @@
 
 in
 
-val attrib_setup =
+val hol_setup =
  [Attrib.add_attributes
   [("rulify", (gen_rulify, gen_rulify), "put theorem into standard rule form")]];