January 2012 Archives by thread

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

Starting: Wed Jan 4 00:34:04 CET 2012
Ending: Mon Jan 23 17:46:58 CET 2012
Messages: 86

• [isabelle-dev] NEWS   Jasmin Christian Blanchette
  • [isabelle-dev] NEWS   Florian Haftmann
    • [isabelle-dev] NEWS   Jasmin Blanchette
    • [isabelle-dev] NEWS   Makarius
      • [isabelle-dev] Standard component setup (Re: NEWS)   Alexander Krauss
      • [isabelle-dev] Standard component setup (Re: NEWS)   Makarius
      • [isabelle-dev] Standard component setup (Re: NEWS)   Florian Haftmann
      • [isabelle-dev] Standard component setup (Re: NEWS)   Makarius
      • [isabelle-dev] Standard component setup (Re: NEWS)   Alexander Krauss
      • [isabelle-dev] Standard component setup (Re: NEWS)   Makarius
      • [isabelle-dev] Standard component setup (Re: NEWS)   boehmes at mailbroy.informatik.tu-muenchen.de
      • [isabelle-dev] Standard component setup (Re: NEWS)   Jasmin Christian Blanchette
      • [isabelle-dev] Standard component setup (Re: NEWS)   Alexander Krauss
      • [isabelle-dev] Standard component setup (Re: NEWS)   Makarius
      • [isabelle-dev] Standard component setup (Re: NEWS)   Jasmin Blanchette
  • [isabelle-dev] NEWS   Florian Haftmann
    • [isabelle-dev] NEWS   Lawrence Paulson
      • [isabelle-dev] NEWS   Makarius
      • [isabelle-dev] NEWS   Lawrence Paulson
      • [isabelle-dev] NEWS   Makarius
      • [isabelle-dev] NEWS   Makarius
      • [isabelle-dev] NEWS   Alexander Krauss
      • [isabelle-dev] NEWS   Makarius
      • [isabelle-dev] NEWS   Lawrence Paulson
      • [isabelle-dev] NEWS   Makarius
      • [isabelle-dev] NEWS   Lawrence Paulson
      • [isabelle-dev] NEWS   Makarius
      • [isabelle-dev] NEWS   Florian Haftmann
• [isabelle-dev] Set_Algebras: Overloading + on 'a set (again)   Makarius
  • [isabelle-dev] Set_Algebras: Overloading + on 'a set (again)   Florian Haftmann
• [isabelle-dev] Missing AFP Entry   Christian STERNAGEL
  • [isabelle-dev] Missing AFP Entry   Gerwin Klein
• [isabelle-dev] List.fold(l/r)   Florian Haftmann
• [isabelle-dev] Quickcheck Examples   Florian Haftmann
• [isabelle-dev] Code generation for sets   Florian Haftmann
• [isabelle-dev] Isabelle/jEdit problem report   Florian Haftmann
  • [isabelle-dev] Isabelle/jEdit problem report   Makarius
• [isabelle-dev] inductive_set vs. 'a set   Makarius
  • [isabelle-dev] inductive_set vs. 'a set   Lawrence Paulson
    • [isabelle-dev] inductive_set vs. 'a set   Stefan Berghofer
• [isabelle-dev] src/HOLCF/IsaMakefile   Makarius
  • [isabelle-dev] src/HOLCF/IsaMakefile   Brian Huffman
• [isabelle-dev] isabelle test failures   Lukas Bulwahn
  • [isabelle-dev] isabelle test failures   Lukas Bulwahn
    • [isabelle-dev] isabelle test failures   Makarius
      • [isabelle-dev] case syntax   Makarius
      • [isabelle-dev] case syntax   Alexander Krauss
      • [isabelle-dev] case syntax   Makarius
      • [isabelle-dev] case syntax   Stefan Berghofer
      • [isabelle-dev] case syntax   Alexander Krauss
• [isabelle-dev] Regain AFP sanity   Makarius
  • [isabelle-dev] Regain AFP sanity   Tobias Nipkow
    • [isabelle-dev] Regain AFP sanity   Gerwin Klein
      • [isabelle-dev] Regain AFP sanity   Makarius
      • [isabelle-dev] Regain AFP sanity   Gerwin Klein
      • [isabelle-dev] Regain AFP sanity   Gerwin Klein
      • [isabelle-dev] Regain AFP sanity   Makarius
      • [isabelle-dev] Regain AFP sanity   Tobias Nipkow
      • [isabelle-dev] Regain AFP sanity   Gerwin Klein
  • [isabelle-dev] Regain AFP sanity   Alexander Krauss
    • [isabelle-dev] Regain AFP sanity   Makarius
    • [isabelle-dev] Regain AFP sanity   Lukas Bulwahn
      • [isabelle-dev] JinjaThreads   Makarius
      • [isabelle-dev] JinjaThreads   Alexander Krauss
      • [isabelle-dev] JinjaThreads   Makarius
  • [isabelle-dev] Regain AFP sanity   Makarius
• [isabelle-dev] inst_subst_tac vs. 'a set   Makarius
• [isabelle-dev] lists_Int_eq   Makarius
  • [isabelle-dev] lists_Int_eq   Stefan Berghofer
    • [isabelle-dev] lists_Int_eq   Makarius
    • [isabelle-dev] lists_Int_eq   Florian Haftmann
• [isabelle-dev] Announcement: The Isabelle Community Wiki   Johannes Hölzl
• [isabelle-dev] "canonical" left-fold combinator for lists   Brian Huffman
  • [isabelle-dev] "canonical" left-fold combinator for lists   Tobias Nipkow
  • [isabelle-dev] "canonical" left-fold combinator for lists   Makarius
  • [isabelle-dev] "canonical" left-fold combinator for lists   Florian Haftmann
    • [isabelle-dev] "canonical" left-fold combinator for lists   Tobias Nipkow
      • [isabelle-dev] "canonical" left-fold combinator for lists   Tjark Weber
• [isabelle-dev] jEdit: Loading theories does not work   Lars Noschinski
  • [isabelle-dev] jEdit: Loading theories does not work   Lars Noschinski
    • [isabelle-dev] jEdit: Loading theories does not work   Makarius
      • [isabelle-dev] jEdit: Loading theories does not work   Lars Noschinski
• [isabelle-dev] Regression Test Server lxbroy10 broke down (again)   Lukas Bulwahn
• [isabelle-dev] implicit beta normalization in the pretty-printer   Ondřej Kunčar
  • [isabelle-dev] Printing terms for debugging (Re: implicit beta normalization in the pretty-printer)   Alexander Krauss
    • [isabelle-dev] Printing terms for debugging (Re: implicit beta normalization in the pretty-printer)   Makarius

Last message date: Mon Jan 23 17:46:58 CET 2012
Archived on: Fri Apr 12 08:42:13 CEST 2019

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