[isabelle] Missing codegen theory

Hi Florian,

Page 23 of the code generation tutorial [1] refers to a theory HOL/ex
/Predicate_Compile_ex.thy. I can't find this in the latest tarball. Is
it under a different name?



The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.

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