| Wed, 10 Feb 2010 08:49:26 +0100 | haftmann | division ring assumes divide_inverse | changeset | files |
| Wed, 10 Feb 2010 08:49:25 +0100 | haftmann | rely less on ordered rewriting | changeset | files |
| Wed, 10 Feb 2010 00:51:54 +0100 | wenzelm | merged | changeset | files |
| Tue, 09 Feb 2010 21:32:57 +0100 | blanchet | merged | changeset | files |
| Tue, 09 Feb 2010 17:06:05 +0100 | blanchet | merged (manual for "nitpick_hol.ML" and "kodkod.ML") | changeset | files |
| Tue, 09 Feb 2010 16:07:51 +0100 | blanchet | optimization to quantifiers in Nitpick's handling of simp rules + renamed some SAT solvers | changeset | files |
| Tue, 09 Feb 2010 16:05:49 +0100 | blanchet | make Quickcheck identify itself, so people don't submit bug reports to me thinking that it was Nitpick | changeset | files |