| Tue, 29 Jul 2014 17:13:25 +0200 | hoelzl | better ordering of positive_integral renaming to nn_integral in NEWS | changeset | files |
| Mon, 28 Jul 2014 12:31:30 +0200 | desharna | made tactic more robust w.r.t. dead variables; tuned; | changeset | files |
| Sun, 27 Jul 2014 21:20:11 +0200 | blanchet | do not embed 'nat' into 'int's in 'smt2' method -- this is highly inefficient and decreases the Sledgehammer success rate significantly | changeset | files |
| Mon, 28 Jul 2014 11:03:28 +0200 | wenzelm | some actual workaround to remove document nodes; | changeset | files |
| Sun, 27 Jul 2014 15:40:19 +0200 | wenzelm | Added tag Isabelle2014-RC1 for changeset c0fd03d13d28 | changeset | files |
| Sat, 09 Aug 2014 21:03:42 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 09 Aug 2014 07:59:15 +0200 | nipkow | tuned | changeset | files |
| Fri, 08 Aug 2014 17:36:08 +0200 | Andreas Lochbihler | add complete_lattice instances for Enum.finite_* types such that quickcheck deals with lattice class operations | changeset | files |