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/HOL/Import/Generate-HOLLight/GenHOLLight.thy
changeset 38795 848be46708dc
parent 38786 e46e7a9cb622
child 38864 4abe644fcea5 
--- a/src/HOL/Import/Generate-HOLLight/GenHOLLight.thy	Fri Aug 27 10:55:20 2010 +0200
+++ b/src/HOL/Import/Generate-HOLLight/GenHOLLight.thy	Fri Aug 27 10:56:46 2010 +0200
@@ -55,8 +55,8 @@
   ONTO    > Fun.surj
   "=" > "op ="
   "==>" > HOL.implies
-  "/\\" > "op &"
-  "\\/" > "op |"
+  "/\\" > HOL.conj
+  "\\/" > HOL.disj
   "!" > All
   "?" > Ex
   "?!" > Ex1
isabelle