fixed typo
authorkleing
Fri Dec 03 07:27:48 2004 +0100 (2004-12-03)
changeset 15367ac18081228ae
parent 15366 e6f595009734
child 15368 79f624f97f7f
fixed typo
doc-src/LaTeXsugar/Sugar/Sugar.thy
     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