theory Test_Some2

 imports "/usr/local/isabisac/src/Tools/isac/Knowledge/GCD_Poly"

 begin

 ML_file "/usr/local/isabisac/test/Tools/isac/Knowledge/gcd_poly.sml"

 (* gcd_poly_winkler.sml overwrites definitions from GCD_Poly.thy;

    thus it must be evaluated *after* gcd_poly.sml.

 ML_file "/usr/local/isabisac/test/Tools/isac/Knowledge/gcd_poly_winkler.sml"*)

 ML {*

 *} 

 ML {*

 *} 

 ML {*

 *} 

 ML {*

 *} 

 ML {*

 *} 

 ML {*

 *} 

 (*------------------------------------------------------------------------------------------

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

 "~~~~~ to  return val:"; val () = ();

 ------------------------------------------------------------------------------------------*)

 end