opentheory-transform/test, branch master

opentheory-transform/test, branch master Opentheory proof trace optimizer Old uncommitted changes 2016-12-15T03:28:31+00:00 Jed Barber jjbarber@y7mail.com 2016-12-15T03:28:31+00:00 5395287cc2f758d94bec8befe8956ba2dcc3940c

Fixed casing 2014-04-13T08:59:56+00:00 Jed Barber jjbarber@y7mail.com 2014-04-13T08:59:56+00:00 c2412dac63c97bb024afe4517f7ed5bc14b9cc28