opentheory-transform/README, branch master Opentheory proof trace optimizer Reorganising source code 2014-04-08T05:06:40+00:00 Jed Barber jjbarber@y7mail.com 2014-04-08T05:06:40+00:00 03d38eb3190eb5e51fb18847fe0792013285bde5 






Concat explanation added
2012-08-08T19:24:08+00:00

Jed Barber
jjbarber@y7mail.com

2012-08-08T19:24:08+00:00

4797fad4d7da8d667239b5b5049edb5929d09d8b












Instructions on how to use the programs
2012-08-08T19:21:39+00:00

Jed Barber
jjbarber@y7mail.com

2012-08-08T19:21:39+00:00

71dce766656c2ae0a6db5cb4befa35cd9dd2f661












first commit
2012-04-23T23:28:58+00:00

Jed Barber
jjbarber@y7mail.com

2012-04-23T23:28:58+00:00

2a59df3e6ea1adcbf7fac96be4ec280869132896