Fri, 20 May 2011 17:16:13 +0200 | blanchet | prevent unsound combinator proofs in partially typed polymorphic type systems | changeset | files |
Fri, 20 May 2011 16:23:03 +0200 | hoelzl | add lemma prob_finite_product | changeset | files |
Fri, 20 May 2011 16:22:24 +0200 | hoelzl | simp rules for empty intervals on dense linear order | changeset | files |