[isabelle] code-relect features



Dear urban:

   I'm trying the code_reflect features.

  But there is still type erros.

   COuld you please take time to view it.

See attachment

Attachment: machineLearning.thy
Description: Binary data



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.