src/Pure/ProofGeneral/proof_general_pgip.ML
changeset 23178 07ba6b58b3d2
parent 22699 938c1011ac94
child 23226 441f8a0bd766
     1.1 --- a/src/Pure/ProofGeneral/proof_general_pgip.ML	Thu May 31 23:02:16 2007 +0200
     1.2 +++ b/src/Pure/ProofGeneral/proof_general_pgip.ML	Thu May 31 23:47:36 2007 +0200
     1.3 @@ -594,7 +594,7 @@
     1.4                                      x::_::_ => SOME x  (* String.find? *)
     1.5                                    | _ => NONE
     1.6          fun subthys_of_thy s =
     1.7 -            foldl  (fn (NONE,xs) => xs | (SOME x,xs) => insert op= x xs) []
     1.8 +            List.foldl  (fn (NONE,xs) => xs | (SOME x,xs) => insert op= x xs) []
     1.9                     (map thy_prefix (thms_of_thy s))
    1.10          fun subthms_of_thy thy =
    1.11              (case thy_prefix thy of