Commit bc5b7c288d29215c585db254a203889e0dea54e2 Parent a411013e62cfc1e94fddbd6c217c5e6ad365b34f Author John MacFarlane <jgm@berkeley.edu> Date Tue, 7 Oct 2014 22:35:19 -0700 Removed oldtests.