| 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 |
| Sat, 17 Oct 2009 14:43:18 +0200 | wenzelm | eliminated hard tabulators, guessing at each author's individual tab-width; | file | diff | annotate |
| Sat, 13 Dec 2008 13:24:45 +0100 | berghofe | Modified nominal_primrec to make it work with local theories, unified syntax | file | diff | annotate |
| Wed, 16 Jul 2008 17:36:44 +0200 | berghofe | Added Standardization theory. | file | diff | annotate |