hol_setup;
authorwenzelm
Tue Apr 27 10:43:52 1999 +0200 (1999-04-27)
changeset 6513e0a9459e99fc
parent 6512 d174c937bf93
child 6514 381fb2b084a4
hol_setup;
src/HOL/HOL.ML
     1.1 --- a/src/HOL/HOL.ML	Tue Apr 27 10:42:55 1999 +0200
     1.2 +++ b/src/HOL/HOL.ML	Tue Apr 27 10:43:52 1999 +0200
     1.3 @@ -429,7 +429,7 @@
     1.4  
     1.5  in
     1.6  
     1.7 -val attrib_setup =
     1.8 +val hol_setup =
     1.9   [Attrib.add_attributes
    1.10    [("rulify", (gen_rulify, gen_rulify), "put theorem into standard rule form")]];
    1.11