Araq
|
5b0d8246f7
|
make some tests green
|
2013-03-03 12:05:03 +01:00 |
|
Araq
|
7171ae62cb
|
constraint now part of the parameter symbol and not of the type
|
2012-12-05 01:39:49 +01:00 |
|
Araq
|
b64eeeb430
|
term rewriting improvements
|
2012-09-08 15:43:21 +02:00 |
|
Araq
|
355ae07b8f
|
activated tests for tr macros
|
2012-09-06 00:23:55 +02:00 |
|
Araq
|
30c00aba07
|
bugfixes and improvements for term rewriting macros
|
2012-09-04 23:57:39 +02:00 |
|
Araq
|
af7c92c003
|
term rewriting macros fully implemented; still buggy
|
2012-09-03 00:55:44 +02:00 |
|