| Mon, 31 Oct 2016 16:26:36 +0100 | kuncar | always expand equalities in the transfer relation in transfer_prover (cf. 0a7c97c76f46) | changeset | files |
| Mon, 31 Oct 2016 15:48:27 +0100 | blanchet | moved contribution to right release | changeset | files |
| Mon, 31 Oct 2016 14:21:23 +0100 | wenzelm | more explicit pull; | changeset | files |
| Sun, 30 Oct 2016 13:15:14 +0100 | kuncar | types to sets: initial commit | changeset | files |
| Sat, 29 Oct 2016 00:39:33 +0200 | blanchet | avoid code generator warnings when deleting equations in BNF commands (e.g., datatype) in locales with assumptions and similar | changeset | files |
| Sat, 29 Oct 2016 00:39:32 +0200 | blanchet | adapted Nunchaku integration to keyword renaming | changeset | files |
| Fri, 28 Oct 2016 20:41:18 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 28 Oct 2016 20:01:38 +0200 | wenzelm | merged | changeset | files |