src/Pure/envir.ML

 		 | _ => raise TERM (funerr, [f $ u]))
 	 | _ => raise TERM (funerr, [f $ u]))
       | fast Ts (Const (_, T)) = T
       | fast Ts (Free (_, T)) = T
       | fast Ts (Bound i) =
-	(nth_elem (i, Ts)
-  	 handle LIST _=> raise TERM ("fastype: Bound", [Bound i]))
+	(List.nth (Ts, i)
+  	 handle Subscript => raise TERM ("fastype: Bound", [Bound i]))
       | fast Ts (Var (_, T)) = T 
       | fast Ts (Abs (_, T, u)) = T --> fast (T :: Ts) u
 in fast end;
 
 end;