Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
Removed rbeta.
authorberghofe
Wed, 18 Aug 1999 17:43:53 +0200
changeset 7260745f834281e2
parent 7259 e75aa311788c
child 7261 a141985d660b
Removed rbeta.
TFL/rules.sig file | annotate | diff | comparison | revisions 
     1.1 --- a/TFL/rules.sig	Wed Aug 18 17:31:53 1999 +0200
     1.2 +++ b/TFL/rules.sig	Wed Aug 18 17:43:53 1999 +0200
     1.3 @@ -49,7 +49,6 @@
     1.4    val SUBS : thm list -> thm -> thm
     1.5    val simpl_conv : simpset -> thm list -> cterm -> thm
     1.6  
     1.7 -  val rbeta : thm -> thm
     1.8  (* For debugging my isabelle solver in the conditional rewriter *)
     1.9    val term_ref : term list ref
    1.10    val thm_ref : thm list ref
wneuper/isa