[isabelle-dev] [isabelle] Code_Abstract_Nat raises exception for a variable with name g

Florian Haftmann florian.haftmann at informatik.tu-muenchen.de
Sun Jun 29 17:55:54 CEST 2014

Hi Andreas,

see now http://isabelle.in.tum.de/repos/isabelle/rev/91f9e4148460.

Despite the ambitious commit message, for economic reasons I did not
attempt to modernize the whole preprocessor but restricted myself to
low-level tinkering with maxidx.


On 18.06.2014 23:19, Florian Haftmann wrote:
> Hi Andreas,
> thanks for reporting this.
> The attached patch attempts to get this correct.  Due to the current
> breakdowns I have not yet been able to test or push it.
> Cheers,
> 	Florian
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev


PGP available:

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 263 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20140629/18d7447c/attachment.sig>

More information about the isabelle-dev mailing list