| Thu, 24 Apr 2014 21:00:00 +0200 | blanchet | really unfold | changeset | files |
| Thu, 24 Apr 2014 17:52:19 +0200 | haftmann | avoid non-standard simp default rule | changeset | files |
| 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 |
| 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 |