| Thu, 24 Apr 2014 00:27:06 +0200 | wenzelm | more uniform synchronized variables; | changeset | files |
| Fri, 25 Apr 2014 12:09:15 +0200 | blanchet | more unfolding and more folding in size equations, to look more natural in the nested case | changeset | files |
| Fri, 25 Apr 2014 11:58:10 +0200 | blanchet | reintroduced '...' (nonexhaustive) syntax for SPASS-Pirate | changeset | files |
| 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 |