| Mon, 24 Mar 2014 14:22:29 +0000 | paulson | rearranging some deriv theorems | changeset | files |
| Sun, 23 Mar 2014 16:40:35 +0100 | wenzelm | modernized approximation, avoiding bad name binding; | changeset | files |
| Sun, 23 Mar 2014 15:46:21 +0100 | wenzelm | more sensible treatment of quasi-local variables (NB: Variable.add_fixes is only for term variables, while Variable.declare takes care of types within given terms); | changeset | files |
| Sat, 22 Mar 2014 22:00:26 +0100 | wenzelm | merged | changeset | files |