[isabelle-dev] problem with Nominal in the AFP

Lars Hupel hupel at in.tum.de
Tue May 31 11:18:17 CEST 2016

> Incompleteness FAILED

This problem has already been addressed. Makarius changed some Isabelle
signatures in Isabelle/4d04e14d7ab8, and adapted AFP in d46ea7497f.

Unfortunately it's currently impossible to perform atomic changes to
both repositories.


More information about the isabelle-dev mailing list