| Fri, 19 Dec 2008 11:07:36 +0100 | ballarin | Add inherited registrations. | changeset | files |
| Thu, 18 Dec 2008 19:52:11 +0100 | ballarin | Refactored: evaluate specification text only in locale declarations. | changeset | files |
| Wed, 17 Dec 2008 15:21:23 +0100 | ballarin | Transfer theorems in print_locale. | changeset | files |
| Wed, 17 Dec 2008 15:20:33 +0100 | ballarin | Attributes not applied in foundational version of fact. | changeset | files |
| Tue, 16 Dec 2008 20:18:46 +0100 | ballarin | Transfer morphism with theory closure. | changeset | files |
| Tue, 16 Dec 2008 15:08:08 +0100 | ballarin | Finer-grained activation so that facts from earlier elements are available. | changeset | files |
| Tue, 16 Dec 2008 14:29:05 +0100 | ballarin | Transfer theorems before activation. | changeset | files |