| Fri, 25 Jul 1997 14:31:48 +0200 | wenzelm | removed split_paired_Ex; | changeset | files |
| Fri, 25 Jul 1997 13:59:15 +0200 | nipkow | new simproc | changeset | files |
| Fri, 25 Jul 1997 13:20:12 +0200 | wenzelm | *** empty log message *** | changeset | files |
| Fri, 25 Jul 1997 13:18:45 +0200 | wenzelm | load simplifier.ML (again); | changeset | files |
| Fri, 25 Jul 1997 13:18:09 +0200 | wenzelm | added prems argument to simplification procedures; | changeset | files |
| Fri, 25 Jul 1997 13:17:14 +0200 | wenzelm | remove references to simplifier.ML; | changeset | files |
| Fri, 25 Jul 1997 11:47:09 +0200 | wenzelm | improved rewrite_thm / rewrite_goals to handle conditional eqns; | changeset | files |