[isabelle-dev] Fwd: Build of AFP entry Incompleteness failed

Lars Hupel hupel at in.tum.de
Thu Apr 6 20:55:14 CEST 2017

Previous message (by thread): [isabelle-dev] Fwd: Build of AFP entry Incompleteness failed
Next message (by thread): [isabelle-dev] Code generation: privacy of exported types in signatures
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

> A very weird error has somehow appeared

That was due to my change in inductive. It's all resolved now.

Previous message (by thread): [isabelle-dev] Fwd: Build of AFP entry Incompleteness failed
Next message (by thread): [isabelle-dev] Code generation: privacy of exported types in signatures
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list