next up previous contents
Next: Term Display Up: The Proof Environment Previous: Starting Out

Simple Permutations

The workback command interchanges the left and right sides of the equation. The startover and starthere commands start one fresh with the left or right (resp.) side of the former equation as both sides of the new equation (wiping dependencies).



Randall Holmes
Fri Sep 5 16:28:58 MDT 1997