Mercurial Mercurial > hg > nominal2 / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
update qpaper to new isabelle
authorCezary Kaliszyk <kaliszyk@in.tum.de>
Mon, 30 Aug 2010 15:59:16 +0900
changeset 2457 f89d1c52d647
parent 2455 0bc1db726f81
child 2458 1b31d514a087
update qpaper to new isabelle
Quotient-Paper/Paper.thy file | annotate | diff | comparison | revisions 
--- a/Quotient-Paper/Paper.thy	Mon Aug 30 11:02:13 2010 +0900
+++ b/Quotient-Paper/Paper.thy	Mon Aug 30 15:59:16 2010 +0900
@@ -23,7 +23,7 @@
 notation (latex output)
   rel_conj ("_ \<circ>\<circ>\<circ> _" [53, 53] 52) and
   pred_comp ("_ \<circ>\<circ> _" [1, 1] 30) and
-  "op -->" (infix "\<longrightarrow>" 100) and
+  implies (infix "\<longrightarrow>" 100) and
   "==>" (infix "\<Longrightarrow>" 100) and
   fun_map ("_ \<singlearr> _" 51) and
   fun_rel ("_ \<doublearr> _" 51) and
nominal2