diff -r 55c3e6c7b9c4 -r 34f296390b60 test/Tools/isac/Frontend/use-cases.sml
--- a/test/Tools/isac/Frontend/use-cases.sml	Tue May 19 12:38:32 2015 +0200
+++ b/test/Tools/isac/Frontend/use-cases.sml	Thu May 28 14:23:18 2015 +0200
@@ -7,6 +7,11 @@
 to the same UC in isac-docu.tex as the JUnit testcase.
 WN120210?not ME: added some labels, which are not among the above,
 repaired lost \label (s).
+
+theory Test_Some imports Build_Thydata begin 
+ML {* KEStore_Elems.set_ref_thy @{theory};
+  fun autoCalculate' cI auto = autoCalculate cI auto (*|> Future.join*) *}
+ML_file "Frontend/use-cases.sml"
 *)
 
 "--------------------------------------------------------";