Mercurial Mercurial > repos > isabelle / 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.
even more mboxes
authorschirmer
Tue, 30 Nov 2004 13:29:36 +0100
changeset 15345 3a5c538644ed
parent 15344 d371b50fcf82
child 15346 ac272926fb77
even more mboxes
doc-src/LaTeXsugar/Sugar/LaTeXsugar.thy file | annotate | diff | comparison | revisions 
--- a/doc-src/LaTeXsugar/Sugar/LaTeXsugar.thy	Tue Nov 30 13:20:15 2004 +0100
+++ b/doc-src/LaTeXsugar/Sugar/LaTeXsugar.thy	Tue Nov 30 13:29:36 2004 +0100
@@ -63,7 +63,7 @@
   ("\<^raw:\mbox{}\inferrule{>_\<^raw:}>\<^raw:{\mbox{>_\<^raw:}}>")
 
   "_asms" :: "prop \<Rightarrow> asms \<Rightarrow> asms" 
-  ("_\<^raw:\\>/ _")
+  ("\<^raw:\mbox{>_\<^raw:}\\>/ _")
 
   "_asm" :: "prop \<Rightarrow> asms" ("\<^raw:\mbox{>_\<^raw:}>")
isabelle