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