src/HOL/ex/Higher_Order_Logic.thy
changeset 36452 d37c6eed8117
parent 26957 e3f04fdd994d
child 41460 ea56b98aee83
     1.1 --- a/src/HOL/ex/Higher_Order_Logic.thy	Wed Apr 28 11:41:27 2010 +0200
     1.2 +++ b/src/HOL/ex/Higher_Order_Logic.thy	Wed Apr 28 12:07:52 2010 +0200
     1.3 @@ -20,7 +20,7 @@
     1.4  subsection {* Pure Logic *}
     1.5  
     1.6  classes type
     1.7 -defaultsort type
     1.8 +default_sort type
     1.9  
    1.10  typedecl o
    1.11  arities