| Thu, 24 Apr 2014 10:33:17 +0200 | haftmann | now covered by AFP 3ddac3e572cf | changeset | files |
| Thu, 24 Apr 2014 00:23:38 +0200 | blanchet | avoid name shadowing | changeset | files |
| Thu, 24 Apr 2014 00:08:48 +0200 | blanchet | spelling | changeset | files |
| Wed, 23 Apr 2014 17:57:56 +0200 | kuncar | predicator simplification rules: support also partially specialized types e.g. 'a * nat | changeset | files |