| Wed, 23 May 2012 16:22:27 +0200 | wenzelm | discontinued obsolete method fastsimp / tactic fast_simp_tac; | changeset | files |
| Wed, 23 May 2012 15:57:12 +0200 | wenzelm | eliminated obsolete fastsimp; | changeset | files |
| Wed, 23 May 2012 16:03:38 +0200 | boehmes | extend the Z3 proof parser to accept polyadic addition (on integers and reals) due to changes introduced in Z3 4.0 | changeset | files |
| Wed, 23 May 2012 15:40:10 +0200 | wenzelm | merged | changeset | files |