changeset 20194 | c9dbce9a23a1 |
parent 19925 | 3f9341831812 |
child 20951 | 868120282837 |
--- a/src/FOLP/simp.ML Tue Jul 25 21:17:58 2006 +0200 +++ b/src/FOLP/simp.ML Tue Jul 25 21:18:00 2006 +0200 @@ -377,7 +377,7 @@ (*Replace parameters by Free variables in P*) fun variants_abs ([],P) = P | variants_abs ((a,T)::aTs, P) = - variants_abs (aTs, #2 (variant_abs(a,T,P))); + variants_abs (aTs, #2 (Syntax.variant_abs(a,T,P))); (*Select subgoal i from proof state; substitute parameters, for printing*) fun prepare_goal i st =