| Wed, 11 Jun 2014 19:08:32 +0200 | blanchet | simplify slightly ATP proof generated for Z3 | changeset | files |
| Wed, 11 Jun 2014 16:02:10 +0200 | steckerm | tuned whitespaces | changeset | files |
| Wed, 11 Jun 2014 15:44:09 +0200 | blanchet | updated contributors to include students | changeset | files |
| Wed, 11 Jun 2014 15:29:23 +0200 | blanchet | moved new highly experimental Waldmeister-specific code (authored by Albert Steckermeier) into Isabelle | changeset | files |
| Wed, 11 Jun 2014 11:28:46 +0200 | blanchet | adapted SMT examples to new, corrected handling of 'typedef' | changeset | files |
| Wed, 11 Jun 2014 11:28:46 +0200 | blanchet | fixed unsoundness in SMT(2) as oracle: don't register typedef Abs_x as constructor unless it is known to be injective | changeset | files |
| Wed, 11 Jun 2014 11:28:46 +0200 | blanchet | updated NEWS slightly | changeset | files |
| Wed, 11 Jun 2014 11:28:46 +0200 | blanchet | updated docs w.r.t. Z3 | changeset | files |