Fri, 04 Aug 2000 22:56:11 +0200 | wenzelm | removed stac (now exported by HypsubstFun); | changeset | files |
Fri, 04 Aug 2000 22:55:08 +0200 | wenzelm | setup hypsubst_setup; | changeset | files |
Fri, 04 Aug 2000 22:54:49 +0200 | wenzelm | lemmas atomize = all_eq imp_eq; | changeset | files |