| Input File | Output File | The Proof | Commentary | Date |
| le3.in | le3.out | le3.prf | le3.html | Thu, 06 Jul 2006 19:01:43 +0000 |
| le2.in | le2.out | le2.prf | le2.html | Thu, 11 Aug 2005 05:23:33 +0000 |
| PA-cancellation.in | PA-cancellation.out | PA-cancellation.prf | PA-cancellation.html | Mon, 08 Aug 2005 06:27:28 +0000 |
| PA-TwoToTheN.in | PA-TwoToTheN.out | PA-TwoToTheN.prf | PA-TwoToTheN.html | Thu, 11 Aug 2005 05:23:37 +0000 |
| PA-Trichotomy.in | PA-Trichotomy.out | PA-Trichotomy.prf | PA-Trichotomy.html | Mon, 08 Aug 2005 06:29:15 +0000 |
| PA-OrderTransitivity.in | PA-OrderTransitivity.out | PA-OrderTransitivity.prf | PA-OrderTransitivity.html | Mon, 08 Aug 2005 06:29:13 +0000 |
| PA-complus.in | PA-complus.out | PA-complus.prf | PA-complus.html | Mon, 08 Aug 2005 06:27:29 +0000 |
| PA-multcom.in | PA-multcom.out | PA-multcom.prf | PA-multcom.html | Wed, 07 Dec 2005 07:28:04 +0000 |
| PA-assocplus.in | PA-assocplus.out | PA-assocplus.prf | PA-assocplus.html | Mon, 08 Aug 2005 06:27:27 +0000 |
| le.in | le.out | le.prf | le.html | Tue, 04 Jul 2006 19:58:10 +0000 |
| PA-distributivity.in | PA-distributivity.out | PA-distributivity.prf | PA-distributivity.html | Mon, 08 Aug 2005 06:27:45 +0000 |
