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/ZF/QPair.thy
changeset 435 ca5356bd315a
parent 124 858ab9a9b047
child 516 1957113f0d7d 
--- a/src/ZF/QPair.thy	Tue Jun 21 16:26:34 1994 +0200
+++ b/src/ZF/QPair.thy	Tue Jun 21 17:20:34 1994 +0200
@@ -18,7 +18,7 @@
   qfsplit   :: "[[i,i] => o, i] => o"
   qconverse :: "i => i"
   "@QSUM"   :: "[idt, i, i] => i"               ("(3QSUM _:_./ _)" 10)
-  " <*>"    :: "[i, i] => i"         		("(_ <*>/ _)" [81, 80] 80)
+  "<*>"     :: "[i, i] => i"         		("(_ <*>/ _)" [81, 80] 80)
   QSigma    :: "[i, i => i] => i"
 
   "<+>"     :: "[i,i]=>i"      			(infixr 65)
isabelle