| Wed, 18 Dec 2013 11:53:40 +0100 | hoelzl | modernized ContNotDenum: use Set_Interval, and finite intersection property to show the nested interval property | changeset | files |
| Tue, 17 Dec 2013 22:34:26 +0100 | haftmann | avoid clashes of fact names | changeset | files |
| 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 |
| Tue, 17 Dec 2013 15:15:59 +0100 | traytel | tuned | changeset | files |
| Tue, 17 Dec 2013 14:22:48 +0100 | blanchet | tuning | changeset | files |
| Tue, 17 Dec 2013 14:22:42 +0100 | blanchet | removed workaround | changeset | files |