Wed, 22 Apr 2015 12:11:48 +0200 | nipkow | added simp rules for ==> | changeset | files |
Wed, 22 Apr 2015 12:43:06 +0100 | paulson | fixes for limits | changeset | files |
Tue, 21 Apr 2015 17:19:00 +0100 | paulson | New material, mostly about limits. Consolidation. | changeset | files |