src/Provers/ind.ML
changeset 14772 c52060b69a8c
parent 14643 130076a81b84
child 15462 b4208fbf9439
     1.1 --- a/src/Provers/ind.ML	Fri May 21 21:17:37 2004 +0200
     1.2 +++ b/src/Provers/ind.ML	Fri May 21 21:18:14 2004 +0200
     1.3 @@ -29,7 +29,7 @@
     1.4  
     1.5  fun add_term_frees tsig =
     1.6  let fun add(tm, vars) = case tm of
     1.7 -	Free(v,T) => if Type.typ_instance(tsig,T,aT) then v ins vars
     1.8 +	Free(v,T) => if Type.typ_instance tsig (T,aT) then v ins vars
     1.9  		     else vars
    1.10        | Abs (_,_,body) => add(body,vars)
    1.11        | rator$rand => add(rator, add(rand, vars))