Up to [local] / OpenXM / src / asir-contrib / testing / noro
Request diff between arbitrary revisions
Default branch: MAIN
Revision 1.1 / (download) - annotate - [select for diffs], Fri Sep 30 06:41:07 2005 UTC (19 years, 1 month ago) by noro
Branch: MAIN
CVS Tags: R_1_3_1-2,
RELEASE_1_3_1_13b,
RELEASE_1_2_3_12,
KNOPPIX_2006,
HEAD,
DEB_REL_1_2_3-9
Added test files for term rewriting and simplification.