changeset 55444 | ede4248a827b |
parent 55380 | 7be2ad0e4acb |
child 59269 | 1da53d1540fe |
1.1 --- a/src/Tools/isac/Knowledge/Inverse_Z_Transform.thy Fri Jun 13 09:55:49 2014 +0200 1.2 +++ b/src/Tools/isac/Knowledge/Inverse_Z_Transform.thy Fri Jun 13 10:29:06 2014 +0200 1.3 @@ -27,7 +27,7 @@ 1.4 1.5 1.6 ML {* 1.7 -val inverse_z = prep_rls( 1.8 +val inverse_z = prep_rls'( 1.9 Rls {id = "inverse_z", preconds = [], rew_ord = ("dummy_ord",dummy_ord), 1.10 erls = Erls, srls = Erls, calc = [], errpatts = [], 1.11 rules =