<div>in window i choose environment gast, and want to test following code, i import gast and run, then ask for library and i append {Application}\Libraries, it has the following error. and i can not find ostick.dcl in all directory, where is it? how to solve this error and run.</div>

<div> </div>
<div>[martin001.icl,]: no abc file<br>Error [StdTime.dcl,11]: ostick.dcl could not be imported<br></div>
<div>module martin001</div>
<div>import gast</div>
<div>propAbs :: Int -&gt; Bool<br>propAbs i = abs i &gt;= 0</div>
<div> </div>
<div>Start = test propAbs</div>
<div> </div>
<div>Regards,</div>
<div>Martin<br></div>