| Wed, 18 Mar 2015 14:28:40 +0000 | paulson | Merge | changeset | files |
| Wed, 18 Mar 2015 14:14:07 +0000 | paulson | Merge | changeset | files |
| Wed, 18 Mar 2015 14:13:27 +0000 | paulson | Lots of new material on complex-valued functions. Modified simplification of (x/n)^k | changeset | files |
| Wed, 18 Mar 2015 15:23:12 +0100 | noschinl | merged | changeset | files |
| Wed, 18 Mar 2015 13:51:33 +0100 | noschinl | added proof method rewrite | changeset | files |
| Wed, 18 Mar 2015 13:31:52 +0100 | wenzelm | merged | changeset | files |
| Tue, 17 Mar 2015 16:38:09 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 17 Mar 2015 16:17:49 +0100 | wenzelm | tight span for theory header, which is relevant for error positions (including semantic completion); | changeset | files |