[isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation

Lawrence Paulson lp15 at cam.ac.uk
Fri Aug 26 13:43:08 CEST 2011

Previous message (by thread): [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation
Next message (by thread): [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

I shall take a look at this one. If anybody else is working on it, please let me know as soon as possible.
Larry

On 25 Aug 2011, at 21:45, Florian Haftmann wrote:

> HOL-Probability FAILED

Previous message (by thread): [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation
Next message (by thread): [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list