| 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 |