| 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 |
| Thu, 04 Oct 2001 15:40:52 +0200 | wenzelm | use "~~/src/Provers/induct_method.ML"; | changeset | files |
| Thu, 04 Oct 2001 15:40:31 +0200 | wenzelm | removed hol_rewrite_cterm (use full_rewrite_cterm from Pure); | changeset | files |
| Thu, 04 Oct 2001 15:40:05 +0200 | wenzelm | added dest_concls; | changeset | files |