1.1 --- a/test/Tools/isac/Test_Some.thy Tue Sep 13 10:51:56 2011 +0200
1.2 +++ b/test/Tools/isac/Test_Some.thy Sun Sep 18 15:21:46 2011 +0200
1.3 @@ -7,7 +7,24 @@
1.4
1.5 theory Test_Some imports Isac begin
1.6
1.7 -use"../../../test/Tools/isac/Frontend/interface.sml"
1.8 +use"../../../test/Tools/isac/Knowledge/polyeq.sml"
1.9 +
1.10 +ML {*
1.11 +(*GOON: polyeq first ML, test 1 above, and the all below piecewiese*)
1.12 +*}
1.13 +ML {*
1.14 +val t = @{term "(2::real)*r*2.14"};
1.15 +term2str t;
1.16 +*}
1.17 +ML {*
1.18 +
1.19 +*}
1.20 +ML {*
1.21 +
1.22 +*}
1.23 +ML {*
1.24 +
1.25 +*}
1.26
1.27 ML {*
1.28 val c = [];
1.29 @@ -16,6 +33,18 @@
1.30 ML {*
1.31
1.32 *}
1.33 +ML {*
1.34 +
1.35 +*}
1.36 +ML {*
1.37 +
1.38 +*}
1.39 +ML {*
1.40 +
1.41 +*}
1.42 +ML {*
1.43 +
1.44 +*}
1.45 ML{*
1.46 *}
1.47 ML{*