[isabelle-dev] transfer with integers needs including / not documented in NEWS
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?
Institut für Informatik (I7)
Technische Universität München
85748 Garching b. München
Office: MI 03.11.055
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 4946 bytes
Desc: S/MIME Cryptographic Signature
More information about the isabelle-dev