changeset 509 | 8a2bcbd8479d |
parent 462 | f4e9e7aacda7 |
--- 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