| Mon, 16 Mar 2015 15:30:00 +0000 | paulson | The factorial function, "fact", now has type "nat => 'a" | file | diff | annotate |
| Fri, 06 Mar 2015 12:48:03 +0000 | paulson | A few new lemmas and a bit of tidying up | file | diff | annotate |
| Wed, 18 Feb 2015 22:46:47 +0100 | haftmann | inlined rules to free user-space from technical names | file | diff | annotate |
| Sun, 02 Nov 2014 17:09:04 +0100 | wenzelm | modernized header; | file | diff | annotate |