![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to tr.rr CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / asir-contrib / testing|
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, 2 months ago) by takayama
The initial version of tr (term rewriting). |