src/CCL/CCL.thy

--- a/src/CCL/CCL.thy	Mon Feb 10 14:33:47 2014 +0100
+++ b/src/CCL/CCL.thy	Mon Feb 10 17:20:11 2014 +0100
@@ -16,13 +16,13 @@
   being defined which contains only executable terms.
 *}
 
-classes prog < "term"
+class prog = "term"
 default_sort prog
 
-arities "fun" :: (prog, prog) prog
+instance "fun" :: (prog, prog) prog ..
 
 typedecl i
-arities i :: prog
+instance i :: prog ..
 
 
 consts