| 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 |
| Thu, 04 Oct 2001 15:39:43 +0200 | wenzelm | simp_case_tac is back again from induct_method.ML; | changeset | files |
| Thu, 04 Oct 2001 15:39:00 +0200 | wenzelm | made generic (see Provers/induct_method.ML); | changeset | files |
| Thu, 04 Oct 2001 15:29:37 +0200 | wenzelm | qualify MetaSimplifier; | changeset | files |
| Thu, 04 Oct 2001 15:29:22 +0200 | wenzelm | unsymbolized; | changeset | files |
| Thu, 04 Oct 2001 15:28:26 +0200 | wenzelm | moved atomize stuff to theory IFOL; | changeset | files |