The action taken by the theorem prover at any subgoal is visualized by the corresponding node's color.

This page maintained by Shashank Khandelwal. Last updated: Wed Dec 3 11:20:04 CST 2003