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.