| 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 |
| Tue, 27 Nov 2012 10:56:31 +0100 | hoelzl | add upper bounds for factorial and binomial; add equation for binomial using nat-division (both from AFP/Girth_Chromatic) | changeset | files |
| Mon, 26 Nov 2012 21:46:04 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 26 Nov 2012 21:10:42 +0100 | wenzelm | more uniform Symbol.is_ascii_identifier in ML/Scala; | changeset | files |