--- a/src/HOL/HOL.thy Tue Jun 01 11:25:26 2004 +0200 +++ b/src/HOL/HOL.thy Tue Jun 01 12:33:50 2004 +0200 @@ -14,7 +14,7 @@ subsubsection {* Core syntax *} -classes type < logic +classes type defaultsort type global