Hi, 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? Thanks, René -- 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
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
