| Sat, 06 Oct 2012 16:03:41 +0200 | haftmann | congruence rule for Finite_Set.fold | changeset | files |
| Sat, 06 Oct 2012 11:08:52 +0200 | haftmann | alternative simplification of ^^ to the righthand side; | changeset | files |
| Fri, 05 Oct 2012 18:01:48 +0200 | wenzelm | eliminated obsolete tooltip delay -- bypassed by Pretty_Tooltip; | changeset | files |
| Fri, 05 Oct 2012 14:51:33 +0200 | wenzelm | merged | changeset | files |
| Fri, 05 Oct 2012 10:57:03 +0200 | blanchet | newer versions of Z3 call it "Bool" not "bool" | changeset | files |
| Thu, 04 Oct 2012 23:19:02 +0200 | haftmann | simplified type of msetprod; | changeset | files |
| Thu, 04 Oct 2012 23:19:02 +0200 | haftmann | tuned proof | changeset | files |
| Thu, 04 Oct 2012 23:19:02 +0200 | haftmann | default simp rule for image under identity | changeset | files |