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