September 2010 Archives by thread

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

Starting: Wed Sep 1 15:32:26 CEST 2010
Ending: Thu Sep 30 19:48:29 CEST 2010
Messages: 70

• [isabelle-dev] FW: Safe approach to hypothesis substitution   Thomas Sewell
• [isabelle-dev] Safe approach to hypothesis substitution   Lawrence Paulson
  • [isabelle-dev] Safe approach to hypothesis substitution   Lawrence Paulson
• [isabelle-dev] Recent instabilities of HOL-Decision_Procs   Makarius
  • [isabelle-dev] Recent instabilities of HOL-Decision_Procs   Johannes Hölzl
    • [isabelle-dev] Recent instabilities of HOL-Decision_Procs   Makarius
    • [isabelle-dev] Recent instabilities of HOL-Decision_Procs   Makarius
      • [isabelle-dev] Recent instabilities of HOL-Decision_Procs   Florian Haftmann
      • [isabelle-dev] Recent instabilities of HOL-Decision_Procs   Johannes Hölzl
      • [isabelle-dev] Recent instabilities of HOL-Decision_Procs   Makarius
      • [isabelle-dev] Recent instabilities of HOL-Decision_Procs   Makarius
• [isabelle-dev] produce term patterns   Walther Neuper
  • [isabelle-dev] produce term patterns   Florian Haftmann
    • [isabelle-dev] produce term patterns   Walther Neuper
      • [isabelle-dev] Spike in isatest performance charts   Makarius
      • [isabelle-dev] Spike in isatest performance charts   Jasmin Christian Blanchette
      • [isabelle-dev] Spike in isatest performance charts   Florian Haftmann
      • [isabelle-dev] Spike in isatest performance charts   Makarius
      • [isabelle-dev] Spike in isatest performance charts   Jasmin Christian Blanchette
      • [isabelle-dev] Spike in isatest performance charts   Makarius
      • [isabelle-dev] Spike in isatest performance charts   Tjark Weber
      • [isabelle-dev] Spike in isatest performance charts   Makarius
    • [isabelle-dev] produce term patterns   Makarius
  • [isabelle-dev] produce term patterns   Walther Neuper
    • [isabelle-dev] produce term patterns   Makarius
      • [isabelle-dev] produce term patterns   Walther Neuper
      • [isabelle-dev] use term patterns, was: 'produce term patterns'   Walther Neuper
      • [isabelle-dev] use term patterns, was: 'produce term patterns'   Christian Urban
      • [isabelle-dev] use term patterns, was: 'produce term patterns'   Walther Neuper
• [isabelle-dev] NEWS: expand_fun_eq -> ext_iff, expand_set_eq -> set_ext_iff   Tobias Nipkow
  • [isabelle-dev] NEWS: expand_fun_eq -> ext_iff, expand_set_eq -> set_ext_iff   Brian Huffman
    • [isabelle-dev] NEWS: expand_fun_eq -> ext_iff, expand_set_eq -> set_ext_iff   Tobias Nipkow
      • [isabelle-dev] NEWS: expand_fun_eq -> ext_iff, expand_set_eq -> set_ext_iff   Brian Huffman
      • [isabelle-dev] NEWS: expand_fun_eq -> ext_iff, expand_set_eq -> set_ext_iff   Michael Norrish
      • [isabelle-dev] NEWS: expand_fun_eq -> ext_iff, expand_set_eq -> set_ext_iff   Tobias Nipkow
      • [isabelle-dev] NEWS: expand_fun_eq -> ext_iff, expand_set_eq -> set_ext_iff   Tobias Nipkow
• [isabelle-dev] error in cook book ?   Nils Jähnig
  • [isabelle-dev] error in cook book ?   Christian Urban
    • [isabelle-dev] error in cook book ?   Makarius
  • [isabelle-dev] error in cook book ?   Makarius
    • [isabelle-dev] error in cook book ?   Nils Jähnig
      • [isabelle-dev] error in cook book ?   Makarius
      • [isabelle-dev] error in cook book ?   Nils Jähnig
• [isabelle-dev] is_concealed   Tobias Nipkow
  • [isabelle-dev] is_concealed   Florian Haftmann
    • [isabelle-dev] is_concealed   Florian Haftmann
  • [isabelle-dev] NEWS   Makarius
• [isabelle-dev] Backticks and schematic variables   Jasmin Christian Blanchette
  • [isabelle-dev] Backticks and schematic variables   Jasmin Christian Blanchette
• [isabelle-dev] Typedef and localization   Jasmin Christian Blanchette
  • [isabelle-dev] Typedef and localization   Makarius
    • [isabelle-dev] Typedef and localization   Jasmin Christian Blanchette
• [isabelle-dev] t_eqI and t_eq_iff   Tobias Nipkow
• [isabelle-dev] handle TYPE _   Walther Neuper
  • [isabelle-dev] handle TYPE _   Makarius
  • [isabelle-dev] handle TYPE _   Tjark Weber
• [isabelle-dev] fun : term -> string   Walther Neuper
  • [isabelle-dev] fun : term -> string   Jasmin Christian Blanchette
    • [isabelle-dev] fun : term -> string   Walther Neuper
    • [isabelle-dev] fun : term -> string   Makarius
      • [isabelle-dev] fun : term -> string   Jasmin Christian Blanchette
      • [isabelle-dev] fun : term -> string   Makarius
  • [isabelle-dev] fun : term -> string   Makarius
    • [isabelle-dev] fun : term -> string   Walther Neuper
• [isabelle-dev] Type arguments in datatype declarations   Florian Haftmann
  • [isabelle-dev] Type arguments in datatype declarations   Stefan Berghofer
    • [isabelle-dev] Type arguments in datatype declarations   Florian Haftmann
      • [isabelle-dev] Type arguments in datatype declarations   Stefan Berghofer
      • [isabelle-dev] Type arguments in datatype declarations   Florian Haftmann
  • [isabelle-dev] Type arguments in datatype declarations   Makarius

Last message date: Thu Sep 30 19:48:29 CEST 2010
Archived on: Fri Apr 12 08:42:11 CEST 2019

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