Araq
|
346443d1b5
|
case consistency improvements
|
2014-01-11 21:56:05 +01:00 |
|
Araq
|
438703f59e
|
case consistency: next steps
|
2013-12-29 01:13:51 +01:00 |
|
Araq
|
92b8fac94a
|
case consistency part 4
|
2013-12-27 23:10:36 +01:00 |
|
Araq
|
23ef565a3c
|
implemented large parts of the 'not nil' checking
|
2013-06-09 23:29:43 +02:00 |
|
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 |
|