| 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 |
| Tue, 16 Dec 2008 12:08:10 +0100 | ballarin | Use correct mode when parsing elements and conclusion. | changeset | files |
| Sun, 14 Dec 2008 15:43:04 +0100 | ballarin | Strict prefixes in locales expressions. | changeset | files |
| Fri, 12 Dec 2008 19:58:26 +0100 | ballarin | Propagate theorems to registrations. | changeset | files |