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.
fixed latex problems
authornipkow
Mon, 07 Feb 2005 08:02:14 +0100
changeset 15502 9d012c7fadab
parent 15501 59ebd778718c
child 15503 38616a65bfbd
fixed latex problems
src/HOL/Finite_Set.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Finite_Set.thy	Sun Feb 06 13:12:32 2005 +0100
+++ b/src/HOL/Finite_Set.thy	Mon Feb 07 08:02:14 2005 +0100
@@ -1997,7 +1997,7 @@
 qed
 
 
-subsubsection{* Lemmas about {@text fold1} *}
+subsubsection{* Lemmas about @{text fold1} *}
 
 lemma (in ACf) fold1_Un:
 assumes A: "finite A" "A \<noteq> {}"
isabelle