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.
correct typo in latex output
authornarboux
Tue, 06 Mar 2007 16:40:32 +0100
changeset 22421 51a18dd1ea86
parent 22420 4ccc8c1b08a3
child 22422 ee19cdb07528
correct typo in latex output
src/HOL/Nominal/Examples/Crary.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Nominal/Examples/Crary.thy	Tue Mar 06 16:17:52 2007 +0100
+++ b/src/HOL/Nominal/Examples/Crary.thy	Tue Mar 06 16:40:32 2007 +0100
@@ -31,7 +31,7 @@
   "==>" :: "prop \<Rightarrow> prop \<Rightarrow> prop"
   ("\<^raw:{\rmfamily\upshape\normalsize{}>If\<^raw:\,}> _/ \<^raw:{\rmfamily\upshape\normalsize \,>then\<^raw:\,}>/ _.")
   "_bigimpl" :: "asms \<Rightarrow> prop \<Rightarrow> prop"
-  ("\<^raw:{\rmfamily\upshape\normalsize{}>If\<^raw:\,}> _ /\<^raw:{\rmfamily\upshapce\normalsize \,>then\<^raw:\,}>/ _.")
+  ("\<^raw:{\rmfamily\upshape\normalsize{}>If\<^raw:\,}> _ /\<^raw:{\rmfamily\upshape\normalsize \,>then\<^raw:\,}>/ _.")
   "_asms" :: "prop \<Rightarrow> asms \<Rightarrow> asms" ("\<^raw:\mbox{>_\<^raw:}> /\<^raw:{\rmfamily\upshape\normalsize \,>and\<^raw:\,}>/ _")
   "_asm" :: "prop \<Rightarrow> asms" ("\<^raw:\mbox{>_\<^raw:}>")
isabelle