changeset 7260 | 745f834281e2 |
parent 7250 | a4bd83b25d23 |
child 7262 | a05dc63ca29b |
--- a/TFL/rules.sig Wed Aug 18 17:31:53 1999 +0200 +++ b/TFL/rules.sig Wed Aug 18 17:43:53 1999 +0200 @@ -49,7 +49,6 @@ val SUBS : thm list -> thm -> thm val simpl_conv : simpset -> thm list -> cterm -> thm - val rbeta : thm -> thm (* For debugging my isabelle solver in the conditional rewriter *) val term_ref : term list ref val thm_ref : thm list ref