TFL/post.sml

--- a/TFL/post.sml	Tue Jun 30 20:51:15 1998 +0200
+++ b/TFL/post.sml	Tue Jun 30 20:57:46 1998 +0200
@@ -168,7 +168,7 @@
 
 
 (*lcp: curry the predicate of the induction rule*)
-fun curry_rule rl = Prod_Syntax.split_rule_var
+fun curry_rule rl = split_rule_var
                         (head_of (HOLogic.dest_Trueprop (concl_of rl)), 
 			 rl);