Thu, 17 Aug 2000 16:23:50 +0200 | wenzelm | removed Lambda/Type.ML; | changeset | files |
Thu, 17 Aug 2000 12:02:01 +0200 | paulson | better rules for cancellation of common factors across comparisons | changeset | files |
Thu, 17 Aug 2000 12:01:09 +0200 | paulson | fixed a proof that had stopped working ??? | changeset | files |