when_funs removed

--- a/src/HOLCF/domain/library.ML	Tue Jun 25 18:01:37 1996 +0200
+++ b/src/HOLCF/domain/library.ML	Wed Jun 26 17:37:34 1996 +0200
@@ -178,8 +178,6 @@
 |   cont_eta_contract t    = t;
 
 fun idx_name dnames s n = s^(if length dnames = 1 then "" else string_of_int n);
-fun when_funs cons = if length cons = 1 then ["f"] 
-		     else mapn (fn n => K("f"^(string_of_int n))) 1 cons;
 fun when_body cons funarg = let
 	fun one_fun n (_,[]  ) = /\ "dummy" (funarg(1,n))
 	|   one_fun n (_,args) = let