Thu, 12 Oct 2006 22:03:33 +0200 | urbanc | To be consistent with "induct", I renamed "fixing" to "arbitrary". | changeset | files |
Thu, 12 Oct 2006 15:50:43 +0200 | paulson | Extended combinators now disabled | changeset | files |
Thu, 12 Oct 2006 15:50:16 +0200 | paulson | abstraction is now turned OFF... | changeset | files |