Tue, 27 Nov 2012 19:31:11 +0100 | hoelzl | introduce filter_lim as a generatlization of tendsto | changeset | files |
Tue, 27 Nov 2012 19:24:30 +0100 | wenzelm | merged | changeset | files |
Tue, 27 Nov 2012 13:48:40 +0100 | immler | based countable topological basis on Countable_Set | changeset | files |
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 |