Re: [isabelle] value (code) doesn't complain when no code equations exist



> Why did I also use value(code) all the time? Was this in some release candidate?
> 
> find ./ -name '*.thy' | xargs grep 'value(code)' | wc -l
> 25

I might have told you ;-)




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