# HG changeset patch
# User wenzelm
# Date 925202632 -7200
# Node ID e0a9459e99fc16196263eb7af3f28fc98259a1c7
# Parent  d174c937bf939c7ea1e041d7d54142faa8ee3839
hol_setup;

diff -r d174c937bf93 -r e0a9459e99fc src/HOL/HOL.ML
--- 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")]];