| Wed, 07 Apr 2010 19:17:10 +0200 | ballarin | Merged resolving conflicts NEWS and locale.ML. | changeset | files |
| Fri, 02 Apr 2010 13:33:48 +0200 | ballarin | Proper inheritance of mixins for activated facts and locale dependencies. | changeset | files |
| Mon, 15 Feb 2010 19:54:54 +0100 | ballarin | Removed obsolete function. | changeset | files |
| Mon, 15 Feb 2010 01:34:08 +0100 | ballarin | Graceful treatment of non-locale subgoals by methods unfold_locales and intro_locales. | changeset | files |
| Mon, 15 Feb 2010 01:27:06 +0100 | ballarin | Tuned interpretation proofs. | changeset | files |
| Thu, 11 Feb 2010 21:00:36 +0100 | ballarin | A rough implementation of full mixin inheritance; additional unit tests. | changeset | files |
| Tue, 02 Feb 2010 21:23:20 +0100 | ballarin | Clarified invariant; tuned. | changeset | files |