April 2012 Archives by thread

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

Starting: Mon Apr 2 00:07:01 CEST 2012
Ending: Mon Apr 30 23:23:50 CEST 2012
Messages: 231

• [isabelle-dev] New HOL/Import   Alexander Krauss
• [isabelle-dev] isabelle test failed -- HOL-Library-Codegenerator_Test   Makarius
  • [isabelle-dev] isabelle test failed -- HOL-Library-Codegenerator_Test   Florian Haftmann
    • [isabelle-dev] isabelle test failed -- HOL-Library-Codegenerator_Test   Florian Haftmann
      • [isabelle-dev] isabelle test failed -- HOL-Library-Codegenerator_Test   Makarius
• [isabelle-dev] Invoking Simplifier inside simproc, ### Simplifier: renamed bound variable   Makarius
  • [isabelle-dev] Invoking Simplifier inside simproc, ### Simplifier: renamed bound variable   Makarius
  • [isabelle-dev] Invoking Simplifier inside simproc, ### Simplifier: renamed bound variable   Peter Lammich
• [isabelle-dev] New manual Programming and Proving in Isabelle/HOL   Florian Haftmann
  • [isabelle-dev] New manual Programming and Proving in Isabelle/HOL   Tobias Nipkow
    • [isabelle-dev] New manual Programming and Proving in Isabelle/HOL   Florian Haftmann
      • [isabelle-dev] New manual Programming and Proving in Isabelle/HOL   Tobias Nipkow
• [isabelle-dev] Relations vs. Predicates   Florian Haftmann
  • [isabelle-dev] Relations vs. Predicates   Florian Haftmann
  • [isabelle-dev] Relations vs. Predicates   Christian Sternagel
    • [isabelle-dev] Relations vs. Predicates   Florian Haftmann
  • [isabelle-dev] Relations vs. Predicates   Christian Sternagel
    • [isabelle-dev] Relations vs. Predicates   Lukas Bulwahn
      • [isabelle-dev] Relations vs. Predicates   Christian Sternagel
      • [isabelle-dev] Relations vs. Predicates   Christian Sternagel
      • [isabelle-dev] Relations vs. Predicates   Makarius
      • [isabelle-dev] Relations vs. Predicates   Christian Sternagel
      • [isabelle-dev] Relations vs. Predicates   Makarius
      • [isabelle-dev] Relations vs. Predicates   Makarius
      • [isabelle-dev] Relations vs. Predicates   Makarius
      • [isabelle-dev] hg rebase [was: Relations vs. Predicates]   Florian Haftmann
      • [isabelle-dev] Relations vs. Predicates   Makarius
      • [isabelle-dev] Community Wiki again   Makarius
      • [isabelle-dev] Relations vs. Predicates   Lukas Bulwahn
      • [isabelle-dev] Relations vs. Predicates   Makarius
  • [isabelle-dev] Relations vs. Predicates   Christian Sternagel
    • [isabelle-dev] Relations vs. Predicates   Lukas Bulwahn
    • [isabelle-dev] Relations vs. Predicates   Lukas Bulwahn
      • [isabelle-dev] Relations vs. Predicates   Makarius
      • [isabelle-dev] Relations vs. Predicates   Christian Sternagel
      • [isabelle-dev] Relations vs. Predicates   Florian Haftmann
      • [isabelle-dev] Relations vs. Predicates   Makarius
• [isabelle-dev] New tutorial Programming and Proving in Isabelle/HOL   Tobias Nipkow
• [isabelle-dev] [isabelle] Confusing behavior of a paired set comprehension   Tjark Weber
  • [isabelle-dev] [isabelle] Confusing behavior of a paired set comprehension   Tobias Nipkow
    • [isabelle-dev] [isabelle] Confusing behavior of a paired set comprehension   Makarius
• [isabelle-dev] Spare cycles on compute server   Lukas Bulwahn
  • [isabelle-dev] Spare cycles on compute server   Alexander Krauss
  • [isabelle-dev] Spare cycles on compute server   Makarius
• [isabelle-dev] type class instantiation   Christian Sternagel
  • [isabelle-dev] type class instantiation   Florian Haftmann
  • [isabelle-dev] type class instantiation   Makarius
    • [isabelle-dev] type class instantiation   Florian Haftmann
• [isabelle-dev] sets and code generation   Makarius
• [isabelle-dev] Isatest   Makarius
• [isabelle-dev] AFP/JinjaThreads failure   Makarius
  • [isabelle-dev] AFP/JinjaThreads failure   Brian Huffman
    • [isabelle-dev] AFP/JinjaThreads failure   Makarius
      • [isabelle-dev] AFP/JinjaThreads failure   Brian Huffman
      • [isabelle-dev] AFP/JinjaThreads failure   Makarius
• [isabelle-dev] PolyML.Statistics   Alexander Krauss
  • [isabelle-dev] PolyML.Statistics   Makarius
• [isabelle-dev] Towards the next release   Makarius
  • [isabelle-dev] Towards the next release   Lukas Bulwahn
    • [isabelle-dev] Towards the next release   Makarius
      • [isabelle-dev] Towards the next release   Lukas Bulwahn
      • [isabelle-dev] Towards the next release   Makarius
  • [isabelle-dev] Towards the next release   Lawrence Paulson
    • [isabelle-dev] Towards the next release   Tobias Nipkow
    • [isabelle-dev] Towards the next release   Florian Haftmann
  • [isabelle-dev] Towards the next release   Gerwin Klein
    • [isabelle-dev] Towards the next release   Makarius
      • [isabelle-dev] record: fold_congs/unfold_congs   Makarius
      • [isabelle-dev] record: fold_congs/unfold_congs   Thomas Sewell
      • [isabelle-dev] record: fold_congs/unfold_congs   Michael Norrish
      • [isabelle-dev] record: fold_congs/unfold_congs   Makarius
      • [isabelle-dev] Towards the next release   Gerwin Klein
      • [isabelle-dev] Towards the next release   Makarius
    • [isabelle-dev] Towards the next release   Florian Haftmann
      • [isabelle-dev] Towards the next release   Gerwin Klein
      • [isabelle-dev] Towards the next release   Makarius
      • [isabelle-dev] Towards the next release   Makarius
      • [isabelle-dev] Towards the next release   Lukas Bulwahn
      • [isabelle-dev] Towards the next release   Gerwin Klein
• [isabelle-dev] HOL/ex/Set_Algebras   Alexander Krauss
  • [isabelle-dev] HOL/ex/Set_Algebras   Clemens Ballarin
    • [isabelle-dev] HOL/ex/Set_Algebras   Florian Haftmann
      • [isabelle-dev] HOL/ex/Set_Algebras   Clemens Ballarin
      • [isabelle-dev] HOL/ex/Set_Algebras   Florian Haftmann
      • [isabelle-dev] Interpretation [was HOL/ex/Set_Algebras]   Clemens Ballarin
      • [isabelle-dev] Interpretation [was HOL/ex/Set_Algebras]   Makarius
  • [isabelle-dev] HOL/ex/Set_Algebras   Florian Haftmann
• [isabelle-dev] ADTs in Scala   Makarius
  • [isabelle-dev] ADTs in Scala   Lars Hupel
    • [isabelle-dev] ADTs in Scala   Makarius
      • [isabelle-dev] ADTs in Scala   Lars Hupel
      • [isabelle-dev] ADTs in Scala   Makarius
      • [isabelle-dev] ADTs in Scala   Alexander Krauss
      • [isabelle-dev] ADTs in Scala   Makarius
      • [isabelle-dev] ADTs in Scala   Holger Gast
      • [isabelle-dev] ADTs in Scala   Makarius
  • [isabelle-dev] ADTs in Scala   Holger Gast
    • [isabelle-dev] ADTs in Scala   Makarius
  • [isabelle-dev] ADTs in Scala   Holger Gast
    • [isabelle-dev] ADTs in Scala   Tobias Nipkow
• [isabelle-dev] jedit_build update   Makarius
• [isabelle-dev] Java 1.7 on Mac OS X   Makarius
• [isabelle-dev] NEWS: auxiliary contexts   Makarius
  • [isabelle-dev] NEWS: auxiliary contexts   Brian Huffman
    • [isabelle-dev] NEWS: auxiliary contexts   Makarius
    • [isabelle-dev] NEWS: auxiliary contexts   Makarius
    • [isabelle-dev] NEWS: auxiliary contexts   Lawrence Paulson
      • [isabelle-dev] NEWS: auxiliary contexts   Makarius
• [isabelle-dev] NEWS: bundled declarations   Makarius
  • [isabelle-dev] NEWS: bundled declarations   Brian Huffman
    • [isabelle-dev] NEWS: bundled declarations   Makarius
• [isabelle-dev] Publishing contributions as an external   Christian Sternagel
  • [isabelle-dev] Publishing contributions as an external   Makarius
    • [isabelle-dev] Publishing contributions as an external   Alexander Krauss
      • [isabelle-dev] Publishing contributions as an external   Alexander Krauss
• [isabelle-dev] IH in induction-wrapper   Christian Sternagel
  • [isabelle-dev] IH in induction-wrapper   Tobias Nipkow
  • [isabelle-dev] IH in induction-wrapper   Tobias Nipkow
    • [isabelle-dev] IH in induction-wrapper   Christian Sternagel
• [isabelle-dev] <-> and <-->   Tobias Nipkow
  • [isabelle-dev] <-> and <-->   Lawrence Paulson
  • [isabelle-dev] <-> and <-->   Makarius
    • [isabelle-dev] <-> and <-->   Lawrence Paulson
      • [isabelle-dev] <-> and <-->   Tobias Nipkow
      • [isabelle-dev] <-> and <-->   Makarius
      • [isabelle-dev] <-> and <-->   Lawrence Paulson
      • [isabelle-dev] Future of ProofGeneral   Makarius
      • [isabelle-dev] Future of ProofGeneral   Lawrence Paulson
      • [isabelle-dev] Future of ProofGeneral   Makarius
      • [isabelle-dev] Future of ProofGeneral   Makarius
      • [isabelle-dev] <-> and <-->   Christian Sternagel
      • [isabelle-dev] <-> and <-->   Christian Sternagel
      • [isabelle-dev] <-> and <-->   Christian Sternagel
      • [isabelle-dev] copy-paste in Isabelle/jEdit   Makarius
      • [isabelle-dev] copy-paste in Isabelle/jEdit   Lawrence Paulson
      • [isabelle-dev] copy-paste in Isabelle/jEdit   Makarius
      • [isabelle-dev] copy-paste in Isabelle/jEdit   Lawrence Paulson
      • [isabelle-dev] <-> and <-->   Peter Lammich
      • [isabelle-dev] Future of ProofGeneral   Makarius
      • [isabelle-dev] <-> and <-->   Peter Lammich
      • [isabelle-dev] <-> and <-->   Tobias Nipkow
    • [isabelle-dev] <-> and <-->   Tobias Nipkow
      • [isabelle-dev] <-> and <-->   Alexander Krauss
      • [isabelle-dev] <-> and <-->   Makarius
      • [isabelle-dev] <-> and <-->   Christian Sternagel
      • [isabelle-dev] <-> and <-->   Tobias Nipkow
      • [isabelle-dev] Sidekick completion in Isabelle/jEdit   Makarius
      • [isabelle-dev] Sidekick completion in Isabelle/jEdit   Lars Noschinski
      • [isabelle-dev] Sidekick completion in Isabelle/jEdit   Christian Sternagel
      • [isabelle-dev] Sidekick completion in Isabelle/jEdit   Makarius
      • [isabelle-dev] Sidekick completion in Isabelle/jEdit   Lars Noschinski
      • [isabelle-dev] Sidekick completion in Isabelle/jEdit   Makarius
      • [isabelle-dev] Sidekick completion in Isabelle/jEdit   Florian Haftmann
• [isabelle-dev] jEdit   Christian Sternagel
  • [isabelle-dev] jEdit   Makarius
  • [isabelle-dev] jEdit   Christian Sternagel
    • [isabelle-dev] jEdit   Christian Sternagel
      • [isabelle-dev] jEdit   Makarius
• [isabelle-dev] Isabelle release test website   Makarius
  • [isabelle-dev] Isabelle release test website   Johannes Hölzl
    • [isabelle-dev] Isabelle release test website   Makarius
  • [isabelle-dev] Isabelle release test website   Makarius
    • [isabelle-dev] Isabelle release test website   Johannes Hölzl
      • [isabelle-dev] Isabelle release test website   Makarius
    • [isabelle-dev] Isabelle release test website   Alexander Krauss
      • [isabelle-dev] Isabelle release test website   Makarius
      • [isabelle-dev] Isabelle release test website   Makarius
    • [isabelle-dev] Isabelle release test website   Jasmin Christian Blanchette
      • [isabelle-dev] Isabelle release test website   Makarius
      • [isabelle-dev] Isabelle release test website   Jasmin Blanchette
  • [isabelle-dev] Isabelle release test website   Christian Sternagel
    • [isabelle-dev] Strange line in NEWS [was: Isabelle release test website]   Florian Haftmann
      • [isabelle-dev] Strange line in NEWS [was: Isabelle release test website]   Brian Huffman
      • [isabelle-dev] Strange line in NEWS [was: Isabelle release test website]   Florian Haftmann
  • [isabelle-dev] Isabelle release test website   Christian Sternagel
    • [isabelle-dev] Isabelle release test website   Makarius
      • [isabelle-dev] Isabelle release test website   Ondřej Kunčar
      • [isabelle-dev] Isabelle release test website   Ondřej Kunčar
      • [isabelle-dev] Isabelle release test website   Ondřej Kunčar
      • [isabelle-dev] Isabelle release test website   Makarius
      • [isabelle-dev] Isabelle release test website   Ondřej Kunčar
      • [isabelle-dev] Isabelle release test website   Tjark Weber
      • [isabelle-dev] Isabelle release test website   Lars Noschinski
      • [isabelle-dev] Isabelle release test website   Makarius
      • [isabelle-dev] Isabelle release test website   Makarius
      • [isabelle-dev] Isabelle release test website   Ondřej Kunčar
      • [isabelle-dev] Isabelle release test website   Lawrence Paulson
      • [isabelle-dev] Isabelle release test website   Johannes Hölzl
      • [isabelle-dev] Isabelle release test website   Makarius
• [isabelle-dev] NEWS   Florian Haftmann
  • [isabelle-dev] NEWS   Johannes Hölzl
    • [isabelle-dev] NEWS   Makarius
• [isabelle-dev] Sort constraints syntax   Tobias Nipkow
  • [isabelle-dev] Sort constraints syntax   Lawrence Paulson
  • [isabelle-dev] Sort constraints syntax   Makarius
    • [isabelle-dev] Sort constraints syntax   Tobias Nipkow
      • [isabelle-dev] Sort constraints syntax   Makarius
      • [isabelle-dev] Sort constraints syntax   Tobias Nipkow
• [isabelle-dev] Quickcheck Examples   Lukas Bulwahn
  • [isabelle-dev] Quickcheck Examples   Lukas Bulwahn
  • [isabelle-dev] Quickcheck Examples   Makarius
• [isabelle-dev] isatest home directory full   Makarius
  • [isabelle-dev] isatest home directory full   Florian Haftmann
    • [isabelle-dev] isatest home directory full   Lukas Bulwahn
• [isabelle-dev] NEWS: USER_HOME   Makarius
• [isabelle-dev] "spass": Internal error: exception Empty raised (line 458 of "library.ML")   Alexander Krauss
  • [isabelle-dev] "spass": Internal error: exception Empty raised (line 458 of "library.ML")   Makarius
    • [isabelle-dev] Sledgehammer on Cygwin   Makarius
      • [isabelle-dev] Sledgehammer on Cygwin   Jasmin Christian Blanchette
      • [isabelle-dev] Sledgehammer on Cygwin   Makarius
      • [isabelle-dev] Sledgehammer on Cygwin   Jasmin Blanchette
    • [isabelle-dev] "spass": Internal error: exception Empty raised (line 458 of "library.ML")   Jasmin Christian Blanchette
      • [isabelle-dev] "spass": Internal error: exception Empty raised (line 458 of "library.ML")   Makarius
      • [isabelle-dev] "spass": Internal error: exception Empty raised (line 458 of "library.ML")   Jasmin Blanchette
      • [isabelle-dev] "spass": Internal error: exception Empty raised (line 458 of "library.ML")   Makarius
      • [isabelle-dev] "spass": Internal error: exception Empty raised (line 458 of "library.ML")   Jasmin Christian Blanchette
• [isabelle-dev] Default PDF viewer   Lars Noschinski
  • [isabelle-dev] Default PDF viewer   Lars Noschinski
    • [isabelle-dev] Default PDF viewer   Makarius
    • [isabelle-dev] Default PDF viewer   Makarius
• [isabelle-dev] Library/List_Prefix   Christian Sternagel
  • [isabelle-dev] Library/List_Prefix   Christian Sternagel
  • [isabelle-dev] Library/List_Prefix   Florian Haftmann
• [isabelle-dev] command value   Christian Sternagel
  • [isabelle-dev] command value   Christian Sternagel
    • [isabelle-dev] command value   Florian Haftmann
• [isabelle-dev] Spurious messages   Jasmin Christian Blanchette
  • [isabelle-dev] Spurious messages   Makarius
• [isabelle-dev] Alternative approach to »efficient« natural numbers   Florian Haftmann
• [isabelle-dev] Haskabelle update?   Makarius
• [isabelle-dev] CAN CONTROLLER AREA NETWORK   David Blubaugh

Last message date: Mon Apr 30 23:23:50 CEST 2012
Archived on: Fri Apr 12 08:42:14 CEST 2019

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