Tue, 17 Dec 2013 20:21:22 +0100 | haftmann | initalize locale with idents from background theory rather than empty idents: must treat idents and registrations synchronously to provide consistent setup for interpretation in locale contexts | changeset | files |
Tue, 17 Dec 2013 15:56:57 +0100 | traytel | reduced cardinals dependencies of (co)datatypes | changeset | files |
Tue, 17 Dec 2013 15:44:10 +0100 | traytel | tighter bnf bounds for (co)datatypes | changeset | files |