changeset 17496 | 26535df536ae |
parent 17232 | 148c241d2492 |
child 17614 | 37ee526db497 |
--- a/src/Pure/meta_simplifier.ML Tue Sep 20 08:20:22 2005 +0200 +++ b/src/Pure/meta_simplifier.ML Tue Sep 20 08:21:49 2005 +0200 @@ -292,7 +292,7 @@ val cngs = map (fn (name, {thm, ...}) => (name, thm)) (#1 congs); val prcs = Net.entries procs |> map (fn Proc {name, lhs, id, ...} => ((name, lhs), id)) - |> partition_eq eq_snd + |> partition_eq (eq_snd (op =)) |> map (fn ps => (#1 (#1 (hd ps)), map (#2 o #1) ps)) |> Library.sort_wrt #1; in