| Tue, 27 Nov 2012 11:29:47 +0100 | immler | qualified interpretation of sigma_algebra, to avoid name clashes | changeset | files |
| Thu, 22 Nov 2012 10:09:54 +0100 | immler | eliminated finite_set_sequence with countable set | changeset | files |
| Tue, 27 Nov 2012 19:22:36 +0100 | wenzelm | support for sub-structured identifier syntax (inactive); | changeset | files |
| Tue, 27 Nov 2012 13:22:29 +0100 | wenzelm | eliminated some improper identifiers; | changeset | files |