| Mon, 12 Sep 2011 07:55:43 +0200 | nipkow | new fastforce replacing fastsimp - less confusing name | file | diff | annotate |
| Wed, 29 Sep 2010 09:08:01 +0200 | haftmann | fact listsum now names listsum_foldl | file | diff | annotate |
| Wed, 22 Sep 2010 16:52:09 +0200 | nipkow | more lists lemmas | file | diff | annotate |
| Thu, 16 Sep 2010 15:33:42 +0100 | paulson | tidied a few proofs | file | diff | annotate |