Re: [isabelle] code-relect features
For this example to work you need to include the theory
in the imports-section of your theory.
Hope this helps,
On Tuesday, June 19, 2012 at 18:20:13 (+0800), li yongjian wrote:
> 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
> xuntyped binary data, machineLearnin [Press RETURN to save to a file]
This archive was generated by a fusion of
Pipermail (Mailman edition) and