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/CCL/CCL.thy
changeset 80917 2a77bc3b4eac
parent 80914 d97fdabd9e2b 
--- a/src/CCL/CCL.thy	Fri Sep 20 23:36:33 2024 +0200
+++ b/src/CCL/CCL.thy	Fri Sep 20 23:37:00 2024 +0200
@@ -35,7 +35,7 @@
   (*** Term Formers ***)
   true        ::       "i"
   false       ::       "i"
-  pair        ::       "[i,i]\<Rightarrow>i"             (\<open>(1<_,/_>)\<close>)
+  pair        ::       "[i,i]\<Rightarrow>i"             (\<open>(\<open>indent=1 notation=\<open>mixfix pair\<close>\<close><_,/_>)\<close>)
   lambda      ::       "(i\<Rightarrow>i)\<Rightarrow>i"            (binder \<open>lam \<close> 55)
   "case"      ::       "[i,i,i,[i,i]\<Rightarrow>i,(i\<Rightarrow>i)\<Rightarrow>i]\<Rightarrow>i"
   "apply"     ::       "[i,i]\<Rightarrow>i"             (infixl \<open>`\<close> 56)
isabelle