Thu, 17 Jan 2002 21:07:11 +0100 | wenzelm | cover polyml-4.1.2; | changeset | files |
Thu, 17 Jan 2002 21:07:00 +0100 | wenzelm | RuleCases.make interface based on term instead of thm; | changeset | files |
Thu, 17 Jan 2002 21:06:23 +0100 | wenzelm | RuleCases.make interface based on term instead of thm; | changeset | files |