bertot@bahia.inria.fr (Yves Bertot) (11/17/90)
Does any one have any package to display proof trees like the following one:
Formula Formula
--------------------
Formula Formula Formula
-------------------------------------------
Formula
As you see the base line used in the upper levels of the proof tree is not
that of the fraction, and the display may need some box size computations.
Thanks in advance.
Yves.