| Wed, 22 Dec 2010 22:20:57 +0100 | haftmann | full localization with possibly multiple entries; | changeset | files |
| Wed, 22 Dec 2010 21:14:57 +0100 | haftmann | tool-compliant mapper declaration | changeset | files |
| Wed, 22 Dec 2010 20:57:13 +0100 | haftmann | more proof contexts; formal declaration | changeset | files |