Mon, 30 Oct 2006 16:42:46 +0100 | paulson | Purely cosmetic | changeset | files |
Mon, 30 Oct 2006 13:07:51 +0100 | urbanc | new file for defining functions in the lambda-calculus | changeset | files |
Thu, 26 Oct 2006 16:08:40 +0200 | krauss | Added "recdef_wf" and "simp" attribute to "wf_measures" | changeset | files |