opentheory-transform/Test, branch master

opentheory-transform/Test, branch master Opentheory proof trace optimizer Fixed casing 2014-04-13T08:59:56+00:00 Jed Barber jjbarber@y7mail.com 2014-04-13T08:59:56+00:00 c2412dac63c97bb024afe4517f7ed5bc14b9cc28

Reorganising source code 2014-04-08T05:06:40+00:00 Jed Barber jjbarber@y7mail.com 2014-04-08T05:06:40+00:00 03d38eb3190eb5e51fb18847fe0792013285bde5

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

The rest of the article files for testing specific commands 2012-09-26T14:14:22+00:00 Jed Barber jjbarber@y7mail.com 2012-09-26T14:14:22+00:00 5e13eb48b17a4a7440c3fc9de5d292b059eec16d

Added standard AbsTerm and AppTerm datatypes 2012-09-22T10:06:24+00:00 Jed Barber jjbarber@y7mail.com 2012-09-22T10:06:24+00:00 eebc6a7216895d8e4d6ad38af09cd295099a256c

Test article files for specific commands 2012-09-14T00:13:16+00:00 Jed Barber jjbarber@y7mail.com 2012-09-14T00:13:16+00:00 fac3f7ebeff93f427b768a55585b434ac74072ad

Testing package 2012-09-13T21:41:49+00:00 Jed Barber jjbarber@y7mail.com 2012-09-13T21:41:49+00:00 84f2ee4a7653b47c4ddefd87c4482729d0272e6b