Fri, 14 Jan 2000 12:17:53 +0100 | paulson | still working; a bit of polishing | changeset | files |
Thu, 13 Jan 2000 17:36:58 +0100 | paulson | new lemmas for Ntree recursor example; more simprules; more lemmas borrowed | changeset | files |
Thu, 13 Jan 2000 17:36:02 +0100 | paulson | change for new rewriting | changeset | files |