next up previous
Next: Constructing proof-trees and normal Up: A tool for studying Previous: A tool for studying

How to use the Formula Tree Lab



Subsections

Sabine Broda