[isabelle-dev] transfer with integers needs including / not documented in NEWS

René Neumann rene.neumann at in.tum.de
Thu Jun 12 15:10:10 CEST 2014


I'm currently porting my AFP-entry to the current Isabelle-dev
(8fcbfce2a2a9). I noted that using transfer for integers now needs
"including integer.lifting" to actually work, but I could figure this
out only by observing similar changes made by Peter. I could not find
any documentation on it in the NEWS file.

Is there something I missed?

René Neumann

Institut für Informatik (I7)
Technische Universität München
Boltzmannstr. 3
85748 Garching b. München

Tel: +49-89-289-17232
Office: MI 03.11.055

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4946 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20140612/a754d4bb/attachment.p7s>

More information about the isabelle-dev mailing list