| 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 |