| Thu, 26 May 2011 23:21:00 +0200 | noschinl | instance inat for complete_lattice | changeset | files |
| Thu, 26 May 2011 22:02:40 +0200 | boehmes | iteratively deepen abstractions to avoid rare Z3 proof reconstruction failures, e.g. when pulling if-then-else from below uninterpreted constants (suggested by Jasmin Christian Blanchette) | changeset | files |
| Thu, 26 May 2011 20:51:03 +0200 | hoelzl | integral strong monotone; finite subadditivity for measure | changeset | files |