| Thu, 27 Apr 2017 15:59:00 +0100 | paulson | New material (and some tidying) purely in the Analysis directory | changeset | files |
| Thu, 27 Apr 2017 11:06:47 +0100 | paulson | Merge | changeset | files |
| Wed, 26 Apr 2017 16:58:31 +0100 | paulson | Some fixes related to compactE_image | changeset | files |
| Wed, 26 Apr 2017 15:57:16 +0100 | paulson | Merge | changeset | files |
| Wed, 26 Apr 2017 15:53:35 +0100 | paulson | Further new material. The simprule status of some exp and ln identities was reverted. | changeset | files |
| Wed, 26 Apr 2017 17:01:10 +0200 | eberlm | tuned Approximation: separated general material from oracle | changeset | files |
| Wed, 26 Apr 2017 13:41:32 +0200 | eberlm | better code equation for binomial | changeset | files |