| Tue, 29 Jan 2019 17:33:40 +0100 | nipkow | merged | changeset | files |
| Tue, 29 Jan 2019 16:13:11 +0100 | nipkow | moved generalized material | changeset | files |
| Tue, 29 Jan 2019 15:26:43 +0000 | paulson | some new results in group theory | changeset | files |
| Mon, 28 Jan 2019 18:36:50 -0500 | immler | less odd class.second_countable_topology_def | changeset | files |
| Mon, 28 Jan 2019 20:32:09 +0100 | wenzelm | revert accident with raw Unicode (not Isabelle symbols) in 7404f5b91e56; | changeset | files |
| Mon, 28 Jan 2019 16:29:11 +0100 | nipkow | changed precedence of big operators: now like any other function symbol | changeset | files |
| Mon, 28 Jan 2019 10:27:47 +0100 | nipkow | more canonical and less specialized syntax | changeset | files |