August 2011 Archives by thread

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

Starting: Tue Aug 2 13:23:42 CEST 2011
Ending: Wed Aug 31 22:03:27 CEST 2011
Messages: 154

• [isabelle-dev] Fwd: [isabelle] Odd failure to match local statement with pending goal.   Lawrence Paulson
• [isabelle-dev] [isabelle] Odd failure to match local statement with pending goal.   Lawrence Paulson
  • [isabelle-dev] Odd failure to match local statement with pending goal.   Alexander Krauss
    • [isabelle-dev] Odd failure to match local statement with pending goal.   Stefan Berghofer
• [isabelle-dev] Mira outage   Alexander Krauss
  • [isabelle-dev] Mira up again   Alexander Krauss
• [isabelle-dev] Release reminder   Makarius
  • [isabelle-dev] Release reminder   Florian Haftmann
• [isabelle-dev] the state of the lattice theories   Makarius
• [isabelle-dev] Occur-Check Lemma and Unifikations-Algorithmus   Makarius
• [isabelle-dev] Interrupt exceptions using the Par_List combinator get_some   Makarius
• [isabelle-dev] Probable bug in let_simp simproc   Thomas Sewell
  • [isabelle-dev] Probable bug in let_simp simproc   Makarius
    • [isabelle-dev] Probable bug in let_simp simproc   Thomas Sewell
• [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Florian Haftmann
  • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Lawrence Paulson
    • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Thomas Sewell
  • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Brian Huffman
    • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Alexander Krauss
  • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Tobias Nipkow
    • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Amine Chaieb
    • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Alexander Krauss
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Tobias Nipkow
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Stefan Berghofer
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Gerwin Klein
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Dmitriy Traytel
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Florian Haftmann
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Tobias Nipkow
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Alexander Krauss
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Brian Huffman
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Jasmin Christian Blanchette
  • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Alexander Krauss
    • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Lawrence Paulson
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Alexander Krauss
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Tobias Nipkow
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Alexander Krauss
    • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Makarius
    • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Stefan Berghofer
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Lukas Bulwahn
  • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Florian Haftmann
    • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Florian Haftmann
    • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Cezary Kaliszyk
  • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Alexander Krauss
    • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Stefan Berghofer
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Jasmin Christian Blanchette
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Tobias Nipkow
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Lukas Bulwahn
    • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Gerwin Klein
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Lawrence Paulson
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Alexander Krauss
  • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Stefan Berghofer
    • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Florian Haftmann
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Alexander Krauss
      • [isabelle-dev] Interest in isomorphic transfer?   Andreas Schropp
      • [isabelle-dev] Interest in isomorphic transfer?   Andreas Schropp
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Lawrence Paulson
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Brian Huffman
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Florian Haftmann
    • [isabelle-dev] [isabelle] (Re-)introducing set as a type constructor rather than as mere abbreviation[SEC=UNCLASSIFIED]   Lawrence Paulson
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Alexander Krauss
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Lawrence Paulson
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Alexander Krauss
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Florian Haftmann
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Makarius
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Florian Haftmann
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Andreas Schropp
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Florian Haftmann
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Andreas Schropp
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Makarius
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Andreas Schropp
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Michael Norrish
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Lawrence Paulson
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Brian Huffman
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Andreas Schropp
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Brian Huffman
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Andreas Schropp
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Brian Huffman
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Andreas Schropp
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Tobias Nipkow
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Andreas Schropp
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Brian Huffman
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Andreas Schropp
      • [isabelle-dev] typedef   Makarius
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Andreas Schropp
      • [isabelle-dev] typedef   Makarius
      • [isabelle-dev] typedef   Andreas Schropp
      • [isabelle-dev] typedef   Makarius
      • [isabelle-dev] typedef   Andreas Schropp
      • [isabelle-dev] typedef   Brian Huffman
      • [isabelle-dev] typedef   Andreas Schropp
      • [isabelle-dev] typedef   Brian Huffman
      • [isabelle-dev] typedef   Makarius
      • [isabelle-dev] typedef   Florian Haftmann
      • [isabelle-dev] typedef   Brian Huffman
      • [isabelle-dev] typedef   Andreas Schropp
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Alexander Krauss
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Makarius
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Andreas Schropp
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Brian Huffman
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Andreas Schropp
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Brian Huffman
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Makarius
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Jasmin Christian Blanchette
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Florian Haftmann
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Lawrence Paulson
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Lawrence Paulson
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Brian Huffman
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Cezary Kaliszyk
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Brian Huffman
      • [isabelle-dev] [isabelle] (Re-)introducing set as a type constructor rather than as mere abbreviation[SEC=UNCLASSIFIED]   Florian Haftmann
• [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation – feasibility study   Florian Haftmann
  • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation – feasibility study   Brian Huffman
  • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation – feasibility study   Gerwin Klein
    • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation – feasibility study   Florian Haftmann
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation – feasibility study   Brian Huffman
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation – feasibility study   Florian Haftmann
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation – feasibility study   Jasmin Christian Blanchette
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation – feasibility study   Tjark Weber
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation – feasibility study   Jasmin Christian Blanchette
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Florian Haftmann
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Makarius
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Alexander Krauss
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Jasmin Christian Blanchette
      • [isabelle-dev] (Re-)introducing set as a type constructor rather than as mere abbreviation   Florian Haftmann
• [isabelle-dev] performance regression for simp_all   Brian Huffman
  • [isabelle-dev] performance regression for simp_all   Makarius
    • [isabelle-dev] performance regression for simp_all   Brian Huffman
      • [isabelle-dev] performance regression for simp_all   Makarius
    • [isabelle-dev] performance regression for simp_all   Gerwin Klein
      • [isabelle-dev] performance regression for simp_all   Alexander Krauss
• [isabelle-dev] Isabelle and AFP   Florian Haftmann
  • [isabelle-dev] Isabelle and AFP   Peter Gammie
• [isabelle-dev] The type “'a set"   Lawrence Paulson
• [isabelle-dev] Status of recdef?   Alexander Krauss
  • [isabelle-dev] Status of recdef?   Lawrence Paulson
• [isabelle-dev] Feature request: print warning message when a definition shadows a previously-used name   Brian Huffman
  • [isabelle-dev] Feature request: print warning message when a definition shadows a previously-used name   Makarius
    • [isabelle-dev] Feature request: print warning message when a definition shadows a previously-used name   Lawrence Paulson
    • [isabelle-dev] Feature request: print warning message when a definition shadows a previously-used name   Florian Haftmann
    • [isabelle-dev] Feature request: print warning message when a definition shadows a previously-used name   Florian Haftmann
• [isabelle-dev] Dead code smells   Makarius
• [isabelle-dev] Separated heaps for different Isabelle instances [was: get_relmap (no relation map function found for type Set.set)]   Florian Haftmann
  • [isabelle-dev] Separated heaps for different Isabelle instances [was: get_relmap (no relation map function found for type Set.set)]   Florian Haftmann
• [isabelle-dev] AFP as Isabelle component   Florian Haftmann
  • [isabelle-dev] AFP as Isabelle component   Gerwin Klein
  • [isabelle-dev] AFP as Isabelle component   Makarius
• [isabelle-dev] Malformed YXML encoding   Steve Wong
• [isabelle-dev] inductive_set: Bad monotonicity theorem   Lawrence Paulson
  • [isabelle-dev] inductive_set: Bad monotonicity theorem   Brian Huffman
    • [isabelle-dev] inductive_set: Bad monotonicity theorem   Lawrence Paulson
• [isabelle-dev] unbound Code.add_type_cmd   Makarius
• [isabelle-dev] Summary: WHY have 'a set back?   Alexander Krauss
  • [isabelle-dev] Summary: WHY have 'a set back?   Lawrence Paulson
• [isabelle-dev] Working with more than one local repository of Isabelle and AFP   Florian Haftmann

Last message date: Wed Aug 31 22:03:27 CEST 2011
Archived on: Fri Apr 12 08:42:12 CEST 2019

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