| Mon, 15 Feb 2010 14:04:06 +0100 | haftmann | apply global morphism for theory, instantiation and overloading target; n.b. target morphism and global morphism coincide for theory target | changeset | files |
| Mon, 15 Feb 2010 14:04:06 +0100 | haftmann | clarifed type | changeset | files |
| Sun, 14 Feb 2010 17:46:28 +0100 | boehmes | optionally localize assertion labels (based on user-defined offsets) to reduce the effort of label adaptions after changes to the source program | changeset | files |