| Wed, 29 Sep 1999 14:36:36 +0200 | wenzelm | proper handling of dangling sort hypotheses (at last!); | changeset | files |
| Wed, 29 Sep 1999 14:36:04 +0200 | wenzelm | mk_simps: do *not* include Thm.strip_shyps o Drule.zero_var_indexes | changeset | files |
| Wed, 29 Sep 1999 14:35:18 +0200 | wenzelm | Sign.defaultS; | changeset | files |
| Wed, 29 Sep 1999 14:34:01 +0200 | wenzelm | strip_shyps(_warning); | changeset | files |