Araq b64eeeb430 term rewriting improvements

2012-09-08 15:43:21 +02:00

..

targlist.nim

further improvements for term rewriting macros

2012-09-04 00:55:13 +02:00

tcse.nim

activated tests for tr macros

2012-09-06 00:23:55 +02:00

tmatrix.nim

term rewriting improvements

2012-09-08 15:43:21 +02:00

tnoalias.nim

activated tests for tr macros

2012-09-06 00:23:55 +02:00

tnoendlessrec.nim

term rewriting improvements

2012-09-08 15:43:21 +02:00

tor.nim

further improvements for term rewriting macros

2012-09-04 00:55:13 +02:00

tstar.nim

term rewriting improvements

2012-09-08 15:43:21 +02:00

tstmtlist.nim

activated tests for tr macros

2012-09-06 00:23:55 +02:00