| Wed, 23 Apr 2014 17:57:56 +0200 | kuncar | predicator simplification rules: support also partially specialized types e.g. 'a * nat | changeset | files |
| Wed, 23 Apr 2014 17:57:56 +0200 | kuncar | all BNF tests can be part of a normal session because they are much faster now | changeset | files |
| Wed, 23 Apr 2014 17:05:48 +0200 | wenzelm | merged | changeset | files |
| Wed, 23 Apr 2014 15:57:06 +0200 | wenzelm | tuned; | changeset | files |