opentheory-transform/bin, branch master Opentheory proof trace optimizer Delete delete.me 2014-04-08T05:08:07+00:00 jedb jjbarber@y7mail.com 2014-04-08T05:08:07+00:00 2fefe870f23a25777e2936de3e2ed1185368ee38 






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












Placeholder file to ensure git records the /bin directory
2012-09-26T14:16:21+00:00

Jed Barber
jjbarber@y7mail.com

2012-09-26T14:16:21+00:00

7e98e0d9bb1cdc895d124f3bebc00dadb4f99a9c