diff -r cd7854f2636d -r 02a9b2540eb7 test/Tools/isac/Interpret/mstools.sml
--- a/test/Tools/isac/Interpret/mstools.sml	Tue Sep 28 13:30:29 2010 +0200
+++ b/test/Tools/isac/Interpret/mstools.sml	Fri Oct 01 10:23:38 2010 +0200
@@ -1,20 +1,23 @@
-(* tests on mstools.sml
-   author: Walther Neuper
-   051019,
-   (c) due to copyright terms
+(* Title: tests for Interpret/mstools.sml
+   Author: Walther Neuper 100930
+   (c) copyright due to lincense terms.
 
-use"../smltest/ME/mstools.sml";
-use"mstools.sml";
- *)
-
-"-----------------------------------------------------------------";
-"table of contents -----------------------------------------------";
-"-----------------------------------------------------------------";
-"--------- head_precond ------------------------------------------";
+12345678901234567890123456789012345678901234567890123456789012345678901234567890
+        10        20        30        40        50        60        70        80
+*)
+"--------------------------------------------------------";
+"table of contents --------------------------------------";
+"--------------------------------------------------------";
+"----------- fun ----------------------------------------";
+"--------------------------------------------------------";
+"--------------------------------------------------------";
+"--------------------------------------------------------";
 "-----------------------------------------------------------------";
 
 
 
-"--------- head_precond ------------------------------------------";
-"--------- head_precond ------------------------------------------";
-"--------- head_precond ------------------------------------------";
+(*========== inhibit exn =======================================================
+============ inhibit exn =====================================================*)
+
+(*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.
+-.-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.*)