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 spelling
authorlcp
Thu, 04 Aug 1994 12:39:28 +0200
changeset 509 8a2bcbd8479d
parent 508 d8b6999ca364
child 510 093665669f52
fixed spelling
doc-src/Pure/theory-extensions file | annotate | diff | comparison | revisions 
--- a/doc-src/Pure/theory-extensions	Thu Aug 04 11:51:30 1994 +0200
+++ b/doc-src/Pure/theory-extensions	Thu Aug 04 12:39:28 1994 +0200
@@ -87,7 +87,7 @@
   infix |>;
   fun (x |> f) = f x;
 
-Using this, theory extension really becomes a plasure, e.g.:
+Using this, theory extension really becomes a pleasure, e.g.:
 
   FOL.thy 
   |> add_consts
isabelle