225   @{ML_ind prove_future in Goal}

   225   @{ML_ind prove_future in Goal}

   226   @{ML_ind future_result in Goal}

   226   @{ML_ind future_result in Goal}

   227   @{ML_ind fork_pri in Future}

   227   @{ML_ind fork_pri in Future}

   228 *}

   228 *}

   229 

   229 

   230 section {* Summary *}

   232 section {* Summary *}

   231 

   233 

   232 text {*

   234 text {*

   233   TBD

   235   TBD

   234 *}

   236 *}