[isabelle-dev] The type “'a set"

Lawrence Paulson lp15 at cam.ac.uk
Fri Aug 19 18:21:56 CEST 2011

Previous message (by thread): [isabelle-dev] Isabelle and AFP
Next message (by thread): [isabelle-dev] Status of recdef?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

To avoid duplication of effort, note that I'm currently trying to convert the AFP theories DataRefinementIBP and GraphMarkingIBP.
Larry

Previous message (by thread): [isabelle-dev] Isabelle and AFP
Next message (by thread): [isabelle-dev] Status of recdef?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list