doc-src/LaTeXsugar/Sugar/Sugar.thy
changeset 15367 ac18081228ae
parent 15366 e6f595009734
child 15368 79f624f97f7f
     1.1 --- a/doc-src/LaTeXsugar/Sugar/Sugar.thy	Fri Dec 03 07:23:19 2004 +0100
     1.2 +++ b/doc-src/LaTeXsugar/Sugar/Sugar.thy	Fri Dec 03 07:27:48 2004 +0100
     1.3 @@ -269,7 +269,7 @@
     1.4  subsection "Proofs"
     1.5  
     1.6  text {*
     1.7 -  Full proofs, even if written in beatiful Isar style, are likely to
     1.8 +  Full proofs, even if written in beautiful Isar style, are likely to
     1.9    be too long and detailed to be included in conference papers, but
    1.10    some key lemmas might be of interest.
    1.11