Mon, 30 Mar 2020 11:59:44 +0200 | wenzelm | clarified modules: global quasi-scope for markers; | changeset | files |
Mon, 30 Mar 2020 10:35:10 +0200 | nipkow | redunant simp rule | changeset | files |
Sun, 29 Mar 2020 23:54:00 +0100 | paulson | merged | changeset | files |