Revision 1.1, Fri Apr 1 08:08:36 2005 UTC (19 years, 3 months ago) by takayama Branch: MAIN
The initial version of tr (term rewriting).