src/Provers/typedsimp.ML
changeset 15570 8d8c70b41bab
parent 0 a5a9c433f639
child 15574 b1d1b5bfc464
     1.1 --- a/src/Provers/typedsimp.ML	Thu Mar 03 09:22:35 2005 +0100
     1.2 +++ b/src/Provers/typedsimp.ML	Thu Mar 03 12:43:01 2005 +0100
     1.3 @@ -70,7 +70,7 @@
     1.4      handle THM _ => (simp_rls, rl :: other_rls);
     1.5  
     1.6  (*Given the list rls, return the pair (simp_rls, other_rls).*)
     1.7 -fun process_rules rls = foldr add_rule (rls, ([],[]));
     1.8 +fun process_rules rls = Library.foldr add_rule (rls, ([],[]));
     1.9  
    1.10  (*Given list of rewrite rules, return list of both forms, reject others*)
    1.11  fun process_rewrites rls =