4 commits

Author	SHA1	Message	Date
Araq	92b449562e	tr macros now documented	2012-09-10 19:34:16 +02:00
Araq	b64eeeb430	term rewriting improvements	2012-09-08 15:43:21 +02:00
Araq	30c00aba07	bugfixes and improvements for term rewriting macros	2012-09-04 23:57:39 +02:00
Araq	6753d36854	further improvements for term rewriting macros	2012-09-04 00:55:13 +02:00