diff options
Diffstat (limited to 'docs/opt-coercion')
-rw-r--r-- | docs/opt-coercion/prooftree.sty | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/opt-coercion/prooftree.sty b/docs/opt-coercion/prooftree.sty index b5e6076531..08903c9a4a 100644 --- a/docs/opt-coercion/prooftree.sty +++ b/docs/opt-coercion/prooftree.sty @@ -40,7 +40,7 @@ %% \end{prootree} at the outer level (however this will not work for the inner %% levels, but in any case why would you want to be so verbose?). %% -%% All of of the keywords except \prooftree and \endprooftree are optional +%% All of the keywords except \prooftree and \endprooftree are optional %% and may appear in any order. They may also be combined in \newcommand's %% eg "\def\Cut{\using\sf cut\thickness.08em\justifies}" with the abbreviation %% "\prooftree hyp1 hyp2 \Cut \concl \endprooftree". This is recommended and |