Re: [isabelle] add_assoc, add.assoc and reflection



> On 20 Apr 2015, at 7:55 am, Manuel Eberl <eberlm at in.tum.de> wrote:
>
> How that relates to Eisbach I cannot say, since I don't know the first
> thing about Eisbach. I would, however, imagine that Eisbach also has the
> strict separation between outer level (lemmas, definitions, etc.) and
> inner level (object logic terms) and therefore your question does not
> affect Eisbach at all.

I can confirm that part. Thereâs nothing special about Eisbach in that respect.

Cheers,
Gerwin


________________________________

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.