| Mon, 02 Dec 2013 20:31:54 +0100 | blanchet | tuning | changeset | files |
| Mon, 02 Dec 2013 20:31:54 +0100 | blanchet | added 'cong' attribute to 'map_cong' | changeset | files |
| Mon, 02 Dec 2013 20:31:54 +0100 | blanchet | avoid user-level 'Specification.definition' for internal constructions (to avoid e.g. automatic code generation behavior) | changeset | files |
| Mon, 02 Dec 2013 20:31:54 +0100 | blanchet | don't try to register code equations in a locale with assumptions | changeset | files |
| Mon, 02 Dec 2013 20:31:54 +0100 | blanchet | minor doc update | changeset | files |
| Mon, 02 Dec 2013 20:31:54 +0100 | blanchet | generalized datatype code generation code so that it works with old-style and new-style (co)datatypes (as long as they are not local) | changeset | files |