| Wed, 23 May 2012 17:57:28 +0200 | wenzelm | build hybrid Isabelle component for JDK on x86-linux/x86_64-linux; | changeset | files |
| Wed, 23 May 2012 17:06:45 +0200 | wenzelm | merged | changeset | files |
| Wed, 23 May 2012 16:53:12 +0200 | wenzelm | eliminated old 'axioms'; | changeset | files |
| 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 |