| Thu, 04 Oct 2001 16:07:20 +0200 | wenzelm | removed obsolete comment; | changeset | files |
| Thu, 04 Oct 2001 15:43:17 +0200 | wenzelm | generic induct_method.ML; | changeset | files |
| Thu, 04 Oct 2001 15:42:48 +0200 | wenzelm | non-oriented infix = and ~= (output only); | changeset | files |
| Thu, 04 Oct 2001 15:41:43 +0200 | wenzelm | $(SRC)/Provers/induct_method.ML replaces Tools/induct_method.ML; | changeset | files |