Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed dead code
authorpaulson
Fri, 04 Mar 2005 10:58:04 +0100
changeset 15572 9c89b1adf573
parent 15571 c166086feace
child 15573 cf53c2dcf440
removed dead code
src/HOL/Tools/res_atp.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/res_atp.ML	Thu Mar 03 17:22:46 2005 +0100
+++ b/src/HOL/Tools/res_atp.ML	Fri Mar 04 10:58:04 2005 +0100
@@ -151,16 +151,6 @@
 
 local
 
-fun retr_thms ([]:MetaSimplifier.rrule list) = []
-	  | retr_thms (r::rs) = (#thm r)::(retr_thms rs);
-
-
-fun snds [] = []
-  |   snds ((x,y)::l) = y::(snds l);
-
-
-
-
 fun get_thms_cs claset =
     let val clsset = rep_cs claset
 	val safeEs = #safeEs clsset
isabelle