src/HOL/HOL.thy
changeset 56941 952833323c99
parent 56375 32e0da92c786
child 57512 cc97b347b301
     1.1 --- a/src/HOL/HOL.thy	Mon May 12 00:13:38 2014 +0200
     1.2 +++ b/src/HOL/HOL.thy	Mon May 12 17:17:32 2014 +0200
     1.3 @@ -44,7 +44,7 @@
     1.4  
     1.5  subsubsection {* Core syntax *}
     1.6  
     1.7 -setup {* Axclass.axiomatize_class (@{binding type}, []) *}
     1.8 +setup {* Axclass.class_axiomatization (@{binding type}, []) *}
     1.9  default_sort type
    1.10  setup {* Object_Logic.add_base_sort @{sort type} *}
    1.11