diff -r ddc965e172c4 -r d37c6eed8117 src/CCL/CCL.thy
--- a/src/CCL/CCL.thy	Wed Apr 28 11:41:27 2010 +0200
+++ b/src/CCL/CCL.thy	Wed Apr 28 12:07:52 2010 +0200
@@ -17,7 +17,7 @@
 *}
 
 classes prog < "term"
-defaultsort prog
+default_sort prog
 
 arities "fun" :: (prog, prog) prog