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