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