# HG changeset patch
# User paulson
# Date 838044900 -7200
# Node ID b163e192a2bf30aca5edfefa12fb3df568c4f21f
# Parent  54c0462f8fb2b992c2f61d40e7e7d82d4ccafa95
Corrected typo involving derivations

diff -r 54c0462f8fb2 -r b163e192a2bf doc-src/Ref/thm.tex
--- a/doc-src/Ref/thm.tex	Fri Jul 19 15:56:01 1996 +0200
+++ b/doc-src/Ref/thm.tex	Mon Jul 22 16:15:00 1996 +0200
@@ -707,7 +707,7 @@
 Deriv.size   : deriv -> int
 Deriv.drop   : 'a mtree * int -> 'a mtree
 Deriv.linear : deriv -> deriv list
-Deriv.linear : deriv -> Deriv.orule mtree
+Deriv.tree   : deriv -> Deriv.orule mtree
 \end{ttbox}
 
 \begin{ttdescription}