July 2012 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Sun Jul 1 23:53:51 CEST 2012
Ending: Tue Jul 31 22:05:49 CEST 2012
Messages: 78

• [isabelle-dev] Interpretation with definitions [was Locale interpretation with mixins]   Clemens Ballarin
• [isabelle-dev] sledgehammer / yices   Jasmin Blanchette
• [isabelle-dev] Future and maintainance of ~isabelle/contrib_devel at TUM NFS   Jasmin Christian Blanchette
• [isabelle-dev] sledgehammer / yices   Jasmin Christian Blanchette
• [isabelle-dev] sledgehammer / yices   Sascha Boehme
• [isabelle-dev] AFP tests timing out   Lukas Bulwahn
• [isabelle-dev] Comment in Efficient_Nat   Lukas Bulwahn
• [isabelle-dev] Quickcheck Narrowing   Lukas Bulwahn
• [isabelle-dev] Future and maintainance of ~isabelle/contrib_devel at TUM NFS   Florian Haftmann
• [isabelle-dev] Testboard interrupt tomorrow Wed 10th in the morning   Florian Haftmann
• [isabelle-dev] Testboard interrupt tomorrow Wed 11th in the morning   Florian Haftmann
• [isabelle-dev] Confusion aroung master path of theory   Florian Haftmann
• [isabelle-dev] NEWS   Florian Haftmann
• [isabelle-dev] Comment in Efficient_Nat   Florian Haftmann
• [isabelle-dev] Locale interpretation with mixins   Florian Haftmann
• [isabelle-dev] Locale interpretation with mixins   Florian Haftmann
• [isabelle-dev] Quickcheck Narrowing   Florian Haftmann
• [isabelle-dev] NEWS: Isabelle sessions and build management   Florian Haftmann
• [isabelle-dev] HOLCF lists   Brian Huffman
• [isabelle-dev] HOLCF lists   Brian Huffman
• [isabelle-dev] HOLCF lists   Brian Huffman
• [isabelle-dev] NEWS: Isabelle sessions and build management   Brian Huffman
• [isabelle-dev] Future and maintainance of ~isabelle/contrib_devel at TUM NFS   Gerwin Klein
• [isabelle-dev] NEWS: Isabelle sessions and build management   Gerwin Klein
• [isabelle-dev] NEWS: Isabelle sessions and build management   Gerwin Klein
• [isabelle-dev] NEWS: Isabelle sessions and build management   Gerwin Klein
• [isabelle-dev] Future and maintainance of ~isabelle/contrib_devel at TUM NFS   Alexander Krauss
• [isabelle-dev] Future and maintainance of ~isabelle/contrib_devel at TUM NFS   Alexander Krauss
• [isabelle-dev] Future and maintainance of ~isabelle/contrib_devel at TUM NFS   Alexander Krauss
• [isabelle-dev] Locale interpretation introduces abbreviations rather than definitions   Peter Lammich
• [isabelle-dev] Fwd: [isabelle] Pending sort hypotheses   Andreas Lochbihler
• [isabelle-dev] isatest getting better   Makarius
• [isabelle-dev] Future and maintainance of ~isabelle/contrib_devel at TUM NFS   Makarius
• [isabelle-dev] Future and maintainance of ~isabelle/contrib_devel at TUM NFS   Makarius
• [isabelle-dev] Future and maintainance of ~isabelle/contrib_devel at TUM NFS   Makarius
• [isabelle-dev] Fwd: [isabelle] Pending sort hypotheses   Makarius
• [isabelle-dev] Sort constraints syntax   Makarius
• [isabelle-dev] Fwd: [isabelle] Pending sort hypotheses   Makarius
• [isabelle-dev] Fwd: [isabelle] Pending sort hypotheses   Makarius
• [isabelle-dev] Sort constraints syntax   Makarius
• [isabelle-dev] Future and maintainance of ~isabelle/contrib_devel at TUM NFS   Makarius
• [isabelle-dev] Future and maintainance of ~isabelle/contrib_devel at TUM NFS   Makarius
• [isabelle-dev] AFP tests timing out   Makarius
• [isabelle-dev] *** exception Empty raised (line 331 of "library.ML")   Makarius
• [isabelle-dev] Locale interpretation introduces abbreviations rather than definitions   Makarius
• [isabelle-dev] Confusion aroung master path of theory   Makarius
• [isabelle-dev] Mac App   Makarius
• [isabelle-dev] Mac App   Makarius
• [isabelle-dev] Mac App   Makarius
• [isabelle-dev] Mac App   Makarius
• [isabelle-dev] NEWS: Proof General components   Makarius
• [isabelle-dev] NEWS: Isabelle sessions and build management   Makarius
• [isabelle-dev] NEWS: Isabelle sessions and build management   Makarius
• [isabelle-dev] NEWS: Isabelle sessions and build management   Makarius
• [isabelle-dev] NEWS: Isabelle sessions and build management   Makarius
• [isabelle-dev] NEWS: Isabelle sessions and build management   Makarius
• [isabelle-dev] NEWS: Isabelle sessions and build management   Makarius
• [isabelle-dev] NEWS: Isabelle sessions and build management   Makarius
• [isabelle-dev] isabelle build   Makarius
• [isabelle-dev] NEWS: Isabelle sessions and build management   Makarius
• [isabelle-dev] NEWS: Isabelle sessions and build management   Makarius
• [isabelle-dev] Sort constraints syntax   Tobias Nipkow
• [isabelle-dev] NEWS: Isabelle sessions and build management   Tobias Nipkow
• [isabelle-dev] Fwd: [isabelle] Pending sort hypotheses   Lawrence Paulson
• [isabelle-dev] Fwd: [isabelle] Pending sort hypotheses   Lawrence Paulson
• [isabelle-dev] [isabelle] HOLCF equality   Lawrence Paulson
• [isabelle-dev] Mac App   Lawrence Paulson
• [isabelle-dev] Mac App   Lawrence Paulson
• [isabelle-dev] Mac App   Lawrence Paulson
• [isabelle-dev] Mac App   Lawrence Paulson
• [isabelle-dev] Mac App   Lawrence Paulson
• [isabelle-dev] HOLCF lists   Christian Sternagel
• [isabelle-dev] HOLCF lists   Christian Sternagel
• [isabelle-dev] sledgehammer / yices   Christian Sternagel
• [isabelle-dev] HOLCF lists   Christian Sternagel
• [isabelle-dev] isabelle build   Christian Sternagel
• [isabelle-dev] isabelle build   Christian Sternagel
• [isabelle-dev] isabelle build   Christian Sternagel

Last message date: Tue Jul 31 22:05:49 CEST 2012
Archived on: Fri Apr 12 08:42:14 CEST 2019

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...