| Tue, 04 Dec 2012 18:00:37 +0100 | hoelzl | prove tendsto_power_div_exp_0 | changeset | files |
| Tue, 04 Dec 2012 18:00:31 +0100 | hoelzl | add filterlim rules for eventually monotone bijective functions; mirror rules for at_top, at_bot; apply them to prove convergence of arctan at infinity and tan at pi/2 | changeset | files |
| Tue, 04 Dec 2012 16:20:24 +0100 | wenzelm | merged | changeset | files |
| Tue, 04 Dec 2012 15:47:37 +0100 | wenzelm | emit bulk edits on initialization of multiple buffers, which greatly improves performance when starting big sessions (e.g. JinjaThreads); | changeset | files |
| Tue, 04 Dec 2012 15:02:45 +0100 | blanchet | go back to Z3 3.2 | changeset | files |
| Tue, 04 Dec 2012 12:19:19 +0100 | nipkow | tuned defs of sec_xyz | changeset | files |