# HG changeset patch
# User kleing
# Date 1102055268 -3600
# Node ID ac18081228ae81d6d4a035d48911f0f6ce94159f
# Parent  e6f595009734204340aaaec2c9e40d2b8f5fc0d0
fixed typo

diff -r e6f595009734 -r ac18081228ae doc-src/LaTeXsugar/Sugar/Sugar.thy
--- a/doc-src/LaTeXsugar/Sugar/Sugar.thy	Fri Dec 03 07:23:19 2004 +0100
+++ b/doc-src/LaTeXsugar/Sugar/Sugar.thy	Fri Dec 03 07:27:48 2004 +0100
@@ -269,7 +269,7 @@
 subsection "Proofs"
 
 text {*
-  Full proofs, even if written in beatiful Isar style, are likely to
+  Full proofs, even if written in beautiful Isar style, are likely to
   be too long and detailed to be included in conference papers, but
   some key lemmas might be of interest.