| 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 |