1.1 --- a/test/Tools/isac/Test_Isac.thy	Tue Apr 24 17:44:02 2012 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Fri May 04 08:51:42 2012 +0200
     1.3 @@ -94,6 +94,7 @@
     1.4    ("Knowledge/biegelinie.sml")
     1.5    ("Knowledge/algein.sml")
     1.6    ("Knowledge/diophanteq.sml")
     1.7 +  ("Knowledge/Inverse_Z_Transform/inverse_z_transform.sml")
     1.8    ("Knowledge/isac.sml")
     1.9    ("Knowledge/build_thydata.sml")
    1.10  
    1.11 @@ -177,6 +178,7 @@
    1.12    use "Knowledge/biegelinie.sml"
    1.13    use "Knowledge/algein.sml"
    1.14    use "Knowledge/diophanteq.sml"
    1.15 +  use "Knowledge/Inverse_Z_Transform/inverse_z_transform.sml"
    1.16    use "Knowledge/isac.sml"
    1.17    use "Knowledge/build_thydata.sml"
    1.18    ML {*"%%%%%%%%%%%%%%%%% end Knowledge.thy %%%%%%%%%%%%%%%%%%%%";*}