--- a/src/Provers/typedsimp.ML Sun Mar 01 16:48:06 2009 +0100
+++ b/src/Provers/typedsimp.ML Sun Mar 01 23:36:12 2009 +0100
@@ -1,5 +1,4 @@
(* Title: typedsimp
- ID: $Id$
Author: Lawrence C Paulson, Cambridge University Computer Laboratory
Copyright 1993 University of Cambridge
@@ -70,7 +69,7 @@
handle THM _ => (simp_rls, rl :: other_rls);
(*Given the list rls, return the pair (simp_rls, other_rls).*)
-fun process_rules rls = foldr add_rule ([],[]) rls;
+fun process_rules rls = List.foldr add_rule ([],[]) rls;
(*Given list of rewrite rules, return list of both forms, reject others*)
fun process_rewrites rls =