[isabelle] Question about code generation



Hi,

Why do I get the type "nibble" for the attached file?

Thanks,

Jørgen

Attachment: Scratch.thy
Description: Scratch.thy



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