Sat, 19 Jun 2010 06:43:33 +0200 | haftmann | quickcheck for fsets | changeset | files |
Fri, 18 Jun 2010 22:41:16 +0200 | nipkow | merged | changeset | files |
Fri, 18 Jun 2010 22:40:58 +0200 | nipkow | added pigeonhole lemmas | changeset | files |
Fri, 18 Jun 2010 21:22:05 +0200 | haftmann | merged | changeset | files |
Fri, 18 Jun 2010 15:59:51 +0200 | haftmann | tuned whitespace; dropped dead code | changeset | files |
Fri, 18 Jun 2010 15:26:04 +0200 | haftmann | code_simp: only succeed on real progress | changeset | files |
Fri, 18 Jun 2010 15:26:02 +0200 | haftmann | prefer fold over foldl | changeset | files |