[isabelle-dev] Global constant names in inductive

Lars Hupel hupel at in.tum.de
Thu Apr 6 17:19:04 CEST 2017

Previous message (by thread): [isabelle-dev] Global constant names in inductive
Next message (by thread): [isabelle-dev] Fwd: Build of AFP entry Incompleteness failed
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

> Your proposed change
> https://isabelle.in.tum.de/repos/testboard/rev/20d5e446aa10 looks
> formally OK.

See now Isabelle/3c628937899d and AFP/a7160ffc25f1.

Previous message (by thread): [isabelle-dev] Global constant names in inductive
Next message (by thread): [isabelle-dev] Fwd: Build of AFP entry Incompleteness failed
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list