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 typo
authorkleing
Fri, 03 Dec 2004 07:27:48 +0100
changeset 15367 ac18081228ae
parent 15366 e6f595009734
child 15368 79f624f97f7f
fixed typo
doc-src/LaTeXsugar/Sugar/Sugar.thy file | annotate | diff | comparison | revisions 
--- 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.
isabelle