| Name | Documentation | Size | Last Modified |
|---|---|---|---|
| Tail2.pm | 1.2K | 06 Nov 2009 17:17:39 UTC | |
| moveinvariantoutofloopcomplexformula.pl | 2.21K | 06 Nov 2009 17:17:39 UTC | |
| foldrule6.pl | 997 | 28 Dec 2009 11:00:52 UTC | |
| 13ts_simplify_with_delete.pl | 1.72K | 06 Feb 2010 12:45:15 UTC | |
| Rule6.yp | 657 | 28 Dec 2009 10:57:55 UTC | |
| m2.pl | 542 | 28 Dec 2009 11:02:46 UTC | |
| 26delete_with_trreereg.pl | 2.06K | 06 Nov 2009 17:17:39 UTC | |
| 12ts_simplify_with_s.pl | 1.76K | 06 Feb 2010 12:45:13 UTC |