Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/LaTeXsugar/Sugar/Sugar.thy
changeset 15367 ac18081228ae
parent 15366 e6f595009734
child 15368 79f624f97f7f 
--- 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