changeset 23418 | c195f6f13769 |
parent 23249 | 9ef65be6bb2a |
--- a/src/Pure/Tools/codegen_func.ML Tue Jun 19 23:15:23 2007 +0200 +++ b/src/Pure/Tools/codegen_func.ML Tue Jun 19 23:15:27 2007 +0200 @@ -238,9 +238,9 @@ fun burrow_thms f [] = [] | burrow_thms f thms = thms - |> Conjunction.intr_list + |> Conjunction.intr_balanced |> f - |> Conjunction.elim_list; + |> Conjunction.elim_balanced (length thms) in thms |> burrow_thms (canonical_tvars purify_tvar)