September 2014 Archives by thread

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

Starting: Thu Sep 4 09:21:42 CEST 2014
Ending: Mon Sep 29 15:51:52 CEST 2014
Messages: 73

• [isabelle-dev] Problem with type inference in locale expressions   Florian Haftmann
  • [isabelle-dev] Problem with type inference in locale expressions   Clemens Ballarin
    • [isabelle-dev] Problem with type inference in locale expressions   Florian Haftmann
    • [isabelle-dev] Problem with type inference in locale expressions   Florian Haftmann
      • [isabelle-dev] Problem with type inference in locale expressions   Clemens Ballarin
      • [isabelle-dev] Problem with type inference in locale expressions   Florian Haftmann
      • [isabelle-dev] Problem with type inference in locale expressions   Florian Haftmann
• [isabelle-dev] Proposal for localized interpretations   Jasmin Christian Blanchette
  • [isabelle-dev] Proposal for localized interpretations   Florian Haftmann
    • [isabelle-dev] Proposal for localized interpretations   Jasmin Christian Blanchette
      • [isabelle-dev] Proposal for localized interpretations   Florian Haftmann
  • [isabelle-dev] Proposal for localized interpretations   Makarius
  • [isabelle-dev] Proposal for localized interpretations   Andreas Lochbihler
    • [isabelle-dev] Proposal for localized interpretations   Florian Haftmann
• [isabelle-dev] default cases rule   Christian Sternagel
  • [isabelle-dev] default cases rule   Dmitriy Traytel
    • [isabelle-dev] default cases rule   Jasmin Christian Blanchette
      • [isabelle-dev] default cases rule   Christian Sternagel
• [isabelle-dev] duplicate fact in List   Christian Sternagel
  • [isabelle-dev] duplicate fact in List   Tobias Nipkow
• [isabelle-dev] Towards datatype_new ~> datatype   Jasmin Christian Blanchette
  • [isabelle-dev] Towards datatype_new ~> datatype   Jasmin Christian Blanchette
• [isabelle-dev] NEWS: "class_deps" with optional search space constraints   Florian Haftmann
  • [isabelle-dev] NEWS: "class_deps" with optional search space constraints   Tobias Nipkow
    • [isabelle-dev] NEWS: "class_deps" with optional search space constraints   Dmitriy Traytel
• [isabelle-dev] Code preprocessor tracing   Andreas Lochbihler
• [isabelle-dev] Sum of Squares server down?   Jasmin Christian Blanchette
  • [isabelle-dev] Sum of Squares server down?   Tobias Nipkow
    • [isabelle-dev] Sum of Squares server down?   Lawrence Paulson
      • [isabelle-dev] Sum of Squares server down?   Makarius
      • [isabelle-dev] Sum of Squares server down?   Tobias Nipkow
      • [isabelle-dev] Sum of Squares server down?   Makarius
      • [isabelle-dev] Sum of Squares server down?   Makarius
      • [isabelle-dev] Sum of Squares server down?   Lawrence Paulson
      • [isabelle-dev] Sum of Squares server down?   Tobias Nipkow
  • [isabelle-dev] Sum of Squares server down?   Tobias Nipkow
• [isabelle-dev] Datatypes & Isatest failures   Jasmin Christian Blanchette
  • [isabelle-dev] Datatypes & Isatest failures   Jasmin Christian Blanchette
    • [isabelle-dev] Datatypes & Isatest failures   Florian Haftmann
      • [isabelle-dev] Datatypes & Isatest failures   Jasmin Christian Blanchette
      • [isabelle-dev] Datatypes & Isatest failures   Makarius
      • [isabelle-dev] Datatypes & Isatest failures   Makarius
  • [isabelle-dev] Datatypes & Isatest failures   Dmitriy Traytel
    • [isabelle-dev] Datatypes & Isatest failures   Lawrence Paulson
• [isabelle-dev] Products over lists – naming convention for big sums and products.   Florian Haftmann
  • [isabelle-dev] Products over lists – naming convention for big sums and products.   Tobias Nipkow
    • [isabelle-dev] Products over lists – naming convention for big sums and products.   Lawrence Paulson
  • [isabelle-dev] Products over lists – naming convention for big sums and products.   Johannes Hölzl
    • [isabelle-dev] Products over lists – naming convention for big sums and products.   Lawrence Paulson
    • [isabelle-dev] Products over lists – naming convention for big sums and products.   Tobias Nipkow
      • [isabelle-dev] Products over lists – naming convention for big sums and products.   Florian Haftmann
      • [isabelle-dev] Products over lists – naming convention for big sums and products.   Tobias Nipkow
      • [isabelle-dev] Products over lists – naming convention for big sums and products.   Florian Haftmann
• [isabelle-dev] Printing integers in Isabelle/ML   Florian Haftmann
  • [isabelle-dev] Printing integers in Isabelle/ML   Makarius
• [isabelle-dev] [isabelle] Code generator forgets type constraint on literal integers   Florian Haftmann
  • [isabelle-dev] [isabelle] Code generator forgets type constraint on literal integers   Andreas Lochbihler
• [isabelle-dev] NEWS: Lexically unsigned numerals for HOL   Florian Haftmann
  • [isabelle-dev] NEWS: Lexically unsigned numerals for HOL   Tobias Nipkow
  • [isabelle-dev] NEWS: Lexically unsigned numerals for HOL   Lawrence Paulson
    • [isabelle-dev] NEWS: Lexically unsigned numerals for HOL   Florian Haftmann
  • [isabelle-dev] NEWS: Lexically unsigned numerals for HOL   Makarius
    • [isabelle-dev] NEWS: Lexically unsigned numerals for HOL   Makarius
• [isabelle-dev] Testing of generated code   Makarius
  • [isabelle-dev] Testing of generated code   Andreas Lochbihler
    • [isabelle-dev] Testing of generated code   Florian Haftmann
      • [isabelle-dev] Testing of generated code   Makarius
• [isabelle-dev] distributed installation + sledgehammer file write permissions   Leo Freitas
  • [isabelle-dev] distributed installation + sledgehammer file write permissions   Makarius
• [isabelle-dev] Imperative HOL: missing parenthesis for Haskell code generation of do-blocks   Christian Sternagel
  • [isabelle-dev] Imperative HOL: missing parenthesis for Haskell code generation of do-blocks   Florian Haftmann
    • [isabelle-dev] Imperative HOL: missing parenthesis for Haskell code generation of do-blocks   Florian Haftmann
• [isabelle-dev] [isabelle] Imperative HOL: typo?   Christian Sternagel

Last message date: Mon Sep 29 15:51:52 CEST 2014
Archived on: Fri Apr 12 08:42:20 CEST 2019

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