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 |
Sun, 14 Feb 2010 00:26:48 +0100 | wenzelm | formal markup of constants; | changeset | files |
Sat, 13 Feb 2010 23:24:57 +0100 | wenzelm | modernized structures; | changeset | files |
Sat, 13 Feb 2010 23:16:06 +0100 | wenzelm | authentic proof syntax; | changeset | files |
Fri, 12 Feb 2010 14:28:01 +0100 | haftmann | tuned import order | changeset | files |