Re: [isabelle] Error in simproc



Hi Tom,

to find out if the error really stems from the simplification- procedure for let you
can disable the let-simproc by:

ML "use_let_simproc := false"

If the let-simproc is to blame, it would be nice if you could send me an example that causes the problem, so that
I can track it down.

   Norbert







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