Finished the routines needed for testing Cohn's Reversible Theorem
Removed old files