November 2009 Archives by thread

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

Starting: Wed Nov 11 09:17:19 CET 2009
Ending: Mon Nov 30 22:13:04 CET 2009
Messages: 64

• [isabelle-dev] PG preferences (auto solve in particular)   Florian Haftmann
  • [isabelle-dev] PG preferences (auto solve in particular)   Makarius
    • [isabelle-dev] PG preferences (auto solve in particular)   Florian Haftmann
    • [isabelle-dev] PG preferences (auto solve in particular)   David Aspinall
      • [isabelle-dev] PG preferences (auto solve in particular)   Makarius
      • [isabelle-dev] PG preferences (auto solve in particular)   David Aspinall
      • [isabelle-dev] PG preferences (auto solve in particular)   Makarius
      • [isabelle-dev] PG preferences (auto solve in particular)   David Aspinall
• [isabelle-dev] Isabelle/HOL axiom ext is redundant   Brian Huffman
  • [isabelle-dev] Isabelle/HOL axiom ext is redundant   Tobias Nipkow
    • [isabelle-dev] Isabelle/HOL axiom ext is redundant   Alexander Krauss
      • [isabelle-dev] Isabelle/HOL axiom ext is redundant   Steven Obua
      • [isabelle-dev] Isabelle/HOL axiom ext is redundant   Alexander Krauss
      • [isabelle-dev] Isabelle/HOL axiom ext is redundant   Brian Huffman
      • [isabelle-dev] Isabelle/HOL axiom ext is redundant   Steven Obua
      • [isabelle-dev] Isabelle/HOL axiom ext is redundant   Tobias Nipkow
      • [isabelle-dev] Isabelle/HOL axiom ext is redundant   Lawrence Paulson
      • [isabelle-dev] Isabelle/HOL axiom ext is redundant   Makarius
      • [isabelle-dev] Isabelle/HOL axiom ext is redundant   Brian Huffman
      • [isabelle-dev] Isabelle/HOL axiom ext is redundant   Makarius
      • [isabelle-dev] Isabelle/HOL axiom ext is redundant   Lucas Dixon
      • [isabelle-dev] Isabelle/HOL axiom ext is redundant   Makarius
      • [isabelle-dev] Isabelle/HOL axiom ext is redundant   Michael Norrish
      • [isabelle-dev] Isabelle/HOL axiom ext is redundant   Lawrence Paulson
      • [isabelle-dev] Isabelle/HOL axiom ext is redundant   Jasmin Christian Blanchette
      • [isabelle-dev] Isabelle/HOL axiom ext is redundant   Lucas Dixon
      • [isabelle-dev] Isabelle/HOL axiom ext is redundant   Makarius
      • [isabelle-dev] Isabelle/HOL axiom ext is redundant[SEC=UNCLASSIFIED]   Dr. Brendan Patrick Mahony
      • [isabelle-dev] Isabelle/HOL axiom ext is redundant[SEC=UNCLASSIFIED]   Lawrence Paulson
      • [isabelle-dev] Isabelle/HOL axiom ext is redundant   Lawrence Paulson
      • [isabelle-dev] Isabelle/HOL axiom ext is redundant   Makarius
      • [isabelle-dev] UPDATE: Isabelle2009-1 test release   Makarius
      • [isabelle-dev] UPDATE: Isabelle2009-1 test release   Makarius
      • [isabelle-dev] UPDATE: Isabelle2009-1 test release   Makarius
      • [isabelle-dev] Isabelle/HOL axiom ext is redundant   Lawrence Paulson
  • [isabelle-dev] Isabelle/HOL axiom ext is redundant   Andreas Schropp
    • [isabelle-dev] Isabelle/HOL axiom ext is redundant   Tobias Nipkow
    • [isabelle-dev] Isabelle/HOL axiom ext is redundant   Brian Huffman
      • [isabelle-dev] Isabelle/HOL axiom ext is redundant   Andreas Schropp
• [isabelle-dev] Isabelle/HOL axiom "iff" is redundant   Brian Huffman
  • [isabelle-dev] Isabelle/HOL axiom "iff" is redundant   Alexander Krauss
  • [isabelle-dev] Isabelle/HOL axiom "iff" is redundant   Tobias Nipkow
    • [isabelle-dev] Isabelle/HOL axiom "iff" is redundant   John R Harrison
  • [isabelle-dev] Isabelle/HOL axiom "iff" is redundant   Makarius
    • [isabelle-dev] Isabelle/HOL axiom "iff" is redundant   Brian Huffman
      • [isabelle-dev] Isabelle/HOL axiom "iff" is redundant   Alexander Krauss
• [isabelle-dev] Error message "Failed to prepare dependency graph"   Andreas Lochbihler
  • [isabelle-dev] Error message "Failed to prepare dependency graph"   Makarius
    • [isabelle-dev] Error message "Failed to prepare dependency graph"   Tjark Weber
      • [isabelle-dev] Error message "Failed to prepare dependency graph"   Makarius
• [isabelle-dev] Nitpick: Kodkodi update   Jasmin Blanchette
• [isabelle-dev] Isabelle release   Makarius
  • [isabelle-dev] Isabelle release   Brian Huffman
  • [isabelle-dev] Isabelle release   Makarius
• [isabelle-dev] Isabelle release snapshot   Makarius
• [isabelle-dev] Typing problem in autogenerated axiom   Dominique Unruh
  • [isabelle-dev] Typing problem in autogenerated axiom   Andreas Schropp
  • [isabelle-dev] Typing problem in autogenerated axiom   Florian Haftmann
    • [isabelle-dev] Typing problem in autogenerated axiom   Andreas Schropp
      • [isabelle-dev] Typing problem in autogenerated axiom   Florian Haftmann
      • [isabelle-dev] Typing problem in autogenerated axiom   Andreas Schropp
      • [isabelle-dev] Typing problem in autogenerated axiom   Andreas Schropp
      • [isabelle-dev] Typing problem in autogenerated axiom   Andreas Schropp
      • [isabelle-dev] Typing problem in autogenerated axiom   Alexander Krauss

Last message date: Mon Nov 30 22:13:04 CET 2009
Archived on: Fri Apr 12 08:42:10 CEST 2019

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