Mon, 19 Mar 2012 15:19:38 +0000 | paulson | More structured proofs for cardinalities | changeset | files |
Mon, 19 Mar 2012 10:52:48 +0000 | paulson | merged | changeset | files |
Fri, 16 Mar 2012 17:41:53 +0000 | paulson | more structured case and induction proofs | changeset | files |