Thu, 23 Nov 2017 17:03:21 +0000 | haftmann | tuned and generalized | changeset | files |
Thu, 23 Nov 2017 17:03:20 +0000 | haftmann | tuned | changeset | files |
Thu, 23 Nov 2017 13:00:00 +0000 | haftmann | new simp rule | changeset | files |
Tue, 21 Nov 2017 17:18:10 +0100 | eberlm | Facts about complex n-th roots | changeset | files |
Tue, 21 Nov 2017 14:11:31 +0100 | nipkow | more lemmas | changeset | files |
Sun, 19 Nov 2017 15:27:01 +0100 | wenzelm | macbroy2 is inactive: system update; | changeset | files |