# HG changeset patch
# User lcp
# Date 775996768 -7200
# Node ID 8a2bcbd8479d4de1aa593c61e6aa47ed109ec35a
# Parent  d8b6999ca3644801d322652f6eb7783465e03873
fixed spelling

diff -r d8b6999ca364 -r 8a2bcbd8479d doc-src/Pure/theory-extensions
--- 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