changeset 59248 | 5eba5e6d5266 |
parent 59232 | a757e8f2fe6c |
child 59252 | 7d3dbc1171ff |
1.1 --- a/test/Tools/isac/Test_Isac.thy Wed Oct 05 10:51:25 2016 +0200 1.2 +++ b/test/Tools/isac/Test_Isac.thy Wed Oct 05 13:09:54 2016 +0200 1.3 @@ -46,7 +46,7 @@ 1.4 1.5 ML {* 1.6 KEStore_Elems.set_ref_thy @{theory}; 1.7 - fun autoCalculate' cI auto = autoCalculate cI auto (*|> Future.join*); 1.8 + (*fun autoCalculate' cI auto = autoCalculate cI auto (*|> Future.join*)*); 1.9 *} 1.10 1.11 section {* trials with Isabelle's functions *}