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/Term.thy
changeset 19796 d86e7b1fc472
parent 17781 32bb237158a5
child 20140 98acc6d0fab6 
--- a/src/CCL/Term.thy	Tue Jun 06 19:24:05 2006 +0200
+++ b/src/CCL/Term.thy	Tue Jun 06 20:42:25 2006 +0200
@@ -14,7 +14,7 @@
 
   one        :: "i"
 
-  if         :: "[i,i,i]=>i"           ("(3if _/ then _/ else _)" [0,0,60] 60)
+  "if"       :: "[i,i,i]=>i"           ("(3if _/ then _/ else _)" [0,0,60] 60)
 
   inl        :: "i=>i"
   inr        :: "i=>i"
isabelle