Tue, 31 Mar 2015 11:16:55 +0200 | wenzelm | tuned signature; | changeset | files |
Wed, 01 Apr 2015 19:17:41 +0200 | blanchet | simplified code | changeset | files |
Wed, 01 Apr 2015 16:04:21 +0100 | paulson | Theorem "arctan" is no longer a default simprule | changeset | files |