--- a/src/HOL/HOL.thy Sun Mar 07 11:57:16 2010 +0100
+++ b/src/HOL/HOL.thy Sun Mar 07 12:19:47 2010 +0100
@@ -44,7 +44,7 @@
classes type
defaultsort type
-setup {* ObjectLogic.add_base_sort @{sort type} *}
+setup {* Object_Logic.add_base_sort @{sort type} *}
arities
"fun" :: (type, type) type