CS428/528 Assignment 5
Last modified: October 8, 2014.
Due: Thursday, October 16, 2014
This assignment is ready. Please make sure you get the latest abridged versions uploaded on October 8, 2014.
- SF Equiv
(Please directly modify the abridged Equiv.v file;
full version at Equiv.v):