[isabelle-dev] LPAR and IWIL

Jasmin Christian Blanchette jasmin.blanchette at gmail.com
Mon Oct 18 23:21:42 CEST 2010

Previous message (by thread): [isabelle-dev] LPAR and IWIL
Next message (by thread): [isabelle-dev] Kodkodi upgrade
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Am 18.10.2010 um 15:36 schrieb Jasmin Blanchette:

> Hi all,

Oops! I meant to send this to isabelle-group, not isabelle-dev. Sorry for the spam.

Jasmin

Previous message (by thread): [isabelle-dev] LPAR and IWIL
Next message (by thread): [isabelle-dev] Kodkodi upgrade
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list