Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/CTT/CTT.thy
changeset 60555 51a6997b1384
parent 59780 23b67731f4f0
child 60754 02924903a6fd 
--- a/src/CTT/CTT.thy	Mon Jun 22 19:22:48 2015 +0200
+++ b/src/CTT/CTT.thy	Mon Jun 22 20:36:33 2015 +0200
@@ -29,7 +29,7 @@
   (*Unions*)
   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"
   (*General Sum and Binary Product*)
   Sum       :: "[t, i\<Rightarrow>t]\<Rightarrow>t"
   fst       :: "i\<Rightarrow>i"
isabelle