Return to test1-tr.rr CVS log | Up to [local] / OpenXM / src / asir-contrib / testing |
File: [local] / OpenXM / src / asir-contrib / testing / test1-tr.rr (download)
Revision 1.1, Fri Apr 1 08:08:36 2005 UTC (19 years, 5 months ago) by takayama
The initial version of tr (term rewriting). |