fixed latex problems
authornipkow
Mon Feb 07 08:02:14 2005 +0100 (2005-02-07)
changeset 155029d012c7fadab
parent 15501 59ebd778718c
child 15503 38616a65bfbd
fixed latex problems
src/HOL/Finite_Set.thy
     1.1 --- a/src/HOL/Finite_Set.thy	Sun Feb 06 13:12:32 2005 +0100
     1.2 +++ b/src/HOL/Finite_Set.thy	Mon Feb 07 08:02:14 2005 +0100
     1.3 @@ -1997,7 +1997,7 @@
     1.4  qed
     1.5  
     1.6  
     1.7 -subsubsection{* Lemmas about {@text fold1} *}
     1.8 +subsubsection{* Lemmas about @{text fold1} *}
     1.9  
    1.10  lemma (in ACf) fold1_Un:
    1.11  assumes A: "finite A" "A \<noteq> {}"