opentheory-transform/.gitignore, branch master Opentheory proof trace optimizer Getting remote and local repos sync'd 2014-03-06T07:17:15+00:00 Jed Barber jjbarber@y7mail.com 2014-03-06T07:17:15+00:00 ef81889c1eccb08acc27d47c9df652541134e3db