--- a/src/LCF/LCF.thy Wed Apr 28 11:41:27 2010 +0200
+++ b/src/LCF/LCF.thy Wed Apr 28 12:07:52 2010 +0200
@@ -14,7 +14,7 @@
subsection {* Natural Deduction Rules for LCF *}
classes cpo < "term"
-defaultsort cpo
+default_sort cpo
typedecl tr
typedecl void