
diff -r 46613d0a9fc9 -r ede4248a827b src/Tools/isac/Knowledge/Inverse_Z_Transform.thy
--- a/src/Tools/isac/Knowledge/Inverse_Z_Transform.thy	Fri Jun 13 09:55:49 2014 +0200
+++ b/src/Tools/isac/Knowledge/Inverse_Z_Transform.thy	Fri Jun 13 10:29:06 2014 +0200
@@ -27,7 +27,7 @@
 
 
 ML {*
-val inverse_z = prep_rls(
+val inverse_z = prep_rls'(
   Rls {id = "inverse_z", preconds = [], rew_ord = ("dummy_ord",dummy_ord), 
 	  erls = Erls, srls = Erls, calc = [], errpatts = [],
 	  rules = 




