changeset 59232 | a757e8f2fe6c |
parent 59202 | 105897ad7165 |
child 59248 | 5eba5e6d5266 |
1.1 --- a/test/Tools/isac/Test_Isac.thy Thu Aug 25 08:19:58 2016 +0200 1.2 +++ b/test/Tools/isac/Test_Isac.thy Thu Aug 25 14:57:58 2016 +0200 1.3 @@ -149,6 +149,7 @@ 1.4 ML_file "Knowledge/algein.sml" 1.5 ML_file "Knowledge/diophanteq.sml" 1.6 ML_file "Knowledge/Inverse_Z_Transform/inverse_z_transform.sml" 1.7 + ML_file "Knowledge/inssort.sml" 1.8 ML_file "Knowledge/isac.sml" 1.9 ML_file "Knowledge/build_thydata.sml" 1.10 ML {*"%%%%%%%%%%%%%%%%% end Knowledge %%%%%%%%%%%%%%%%%%%%%%%%";*}