| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| induction.pl | Text File | 385 | 13KB | 2007-02-13 |
| prover.pl | Text File | 67 | 2KB | 2007-02-15 |
| README | Text File | 37 | 991b | 2006-08-01 |
| simp.pl | Text File | 410 | 13KB | 2006-12-25 |
| simplify.pl | Text File | 59 | 2KB | 2007-02-25 |
| symbex.pl | Text File | 628 | 20KB | 2007-03-11 |
| tautology.pl | Text File | 88 | 3KB | 2006-07-31 |
| wang.pl | Text File | 138 | 5KB | 2000-06-04 |
| wp.pl | Text File | 372 | 12KB | 2007-09-20 |
| Unknown | ||||
| Name | Format | Size | Date | |
|---|---|---|---|---|
| induction | Unknown | 134KB | 2007-02-13 | |
| tautology | Unknown | 107KB | 2007-01-09 | |
| wang | Unknown | 113KB | 2006-08-01 | |