| Thu, 13 Mar 2014 13:18:13 +0100 | blanchet | use 'smt2' in SMT examples as much as currently possible | changeset | files |
| Thu, 13 Mar 2014 13:18:13 +0100 | blanchet | moved 'SMT2' (SMT-LIB-2-based SMT module) into Isabelle | changeset | files |
| Thu, 13 Mar 2014 08:56:08 +0100 | haftmann | tuned proofs | changeset | files |
| Thu, 13 Mar 2014 08:56:08 +0100 | haftmann | dropped redundant theorems | changeset | files |
| Thu, 13 Mar 2014 08:56:08 +0100 | haftmann | tuned | changeset | files |
| Thu, 13 Mar 2014 08:56:07 +0100 | haftmann | monotonicity in complete lattices | changeset | files |
| Thu, 13 Mar 2014 07:07:07 +0100 | nipkow | enhanced simplifier solver for preconditions of rewrite rule, can now deal with conjunctions | changeset | files |
| Wed, 12 Mar 2014 22:57:50 +0100 | wenzelm | tuned signature -- clarified module name; | changeset | files |