diff -r c0e1c121c7c0 -r 51a6997b1384 src/CCL/Term.thy
--- a/src/CCL/Term.thy	Mon Jun 22 19:22:48 2015 +0200
+++ b/src/CCL/Term.thy	Mon Jun 22 20:36:33 2015 +0200
@@ -17,7 +17,7 @@
 
   inl        :: "i\<Rightarrow>i"
   inr        :: "i\<Rightarrow>i"
-  when       :: "[i,i\<Rightarrow>i,i\<Rightarrow>i]\<Rightarrow>i"
+  "when"     :: "[i,i\<Rightarrow>i,i\<Rightarrow>i]\<Rightarrow>i"
 
   split      :: "[i,[i,i]\<Rightarrow>i]\<Rightarrow>i"
   fst        :: "i\<Rightarrow>i"