(* Title:  run tests on a particular test file

    Author: Walther Neuper 101001

    (c) copyright due to lincense terms.

 *)

 theory Test_Some imports Isac begin

 ML{* writeln "**** run the test ***************************************" *}

 use"../../../test/Tools/isac/Knowledge/eqsystem.sml" 

 ML{*

 show_mets()

 *}

 ML{*

 show_ptyps();

 ["logarithmic","univariate","equation","test"];

 *}

 ML{*

 *}

 ML{*

 *}

 ML{*

 "~~~~~ fun , args:"; val () = ();

 *}

 end

 (*========== inhibit exn 110722 ================================================

 ============ inhibit exn 110722 ==============================================*)

 (*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.

 -.-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.*)