changeset 59465 | b33dc41f4350 |
parent 59395 | 862eb17f9e16 |
child 59472 | 3e904f8ec16c |
1.1 --- a/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy Tue Aug 28 11:34:55 2018 +0200 1.2 +++ b/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy Tue Aug 28 13:34:22 2018 +0200 1.3 @@ -3,7 +3,7 @@ 1.4 (c) copyright due to license terms. 1.5 *) 1.6 1.7 -theory Build_Inverse_Z_Transform imports Inverse_Z_Transform 1.8 +theory Build_Inverse_Z_Transform imports Isac.Inverse_Z_Transform 1.9 1.10 begin 1.11