author | Walther Neuper <neuper@ist.tugraz.at> |
Fri, 24 May 2013 16:50:31 +0200 | |
changeset 48870 | 5a83cf4f184a |
parent 48868 | 1676be88dbcb |
child 48871 | cf55b1438731 |
permissions | -rw-r--r-- |
2 theory Test_Some2
3 imports "/usr/local/isabisac/src/Tools/isac/Knowledge/GCD_Poly"
4 begin
6 ML_file "/usr/local/isabisac/test/Tools/isac/Knowledge/gcd_poly.sml"
8 ML {*
9 *}
10 ML {*
11 *}
12 ML {*
13 *}
14 ML {*
15 *}
16 ML {*
17 *}
18 ML {*
19 *}
20 ML {*
21 *}
22 ML {*
23 *}
24 ML {*
25 *}
26 ML {*
27 *}
28 ML {*
29 *}
30 (*------------------------------------------------------------------------------------------
31 "~~~~~ fun , args:"; val () = ();
32 "~~~~~ to return val:"; val () = ();
33 ------------------------------------------------------------------------------------------*)
34 end