September 2015 Archives by thread

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

Starting: Tue Sep 1 17:37:44 CEST 2015
Ending: Wed Sep 30 17:35:11 CEST 2015
Messages: 51

• [isabelle-dev] Code generation to OCaml and Scala   Frédéric Tuong
  • [isabelle-dev] Code generation to OCaml and Scala   Florian Haftmann
    • [isabelle-dev] Code generation to OCaml and Scala   Florian Haftmann
      • [isabelle-dev] Code generation to OCaml and Scala   Frédéric Tuong
• [isabelle-dev] HOL-Predicate_Compile_Examples   Makarius
  • [isabelle-dev] HOL-Predicate_Compile_Examples   Andreas Lochbihler
    • [isabelle-dev] HOL-Predicate_Compile_Examples   Makarius
• [isabelle-dev] NEWS   Florian Haftmann
  • [isabelle-dev] NEWS   Dmitriy Traytel
    • [isabelle-dev] NEWS   Florian Haftmann
    • [isabelle-dev] NEWS   Tobias Nipkow
      • [isabelle-dev] NEWS   Larry Paulson
      • [isabelle-dev] NEWS   Makarius
    • [isabelle-dev] NEWS   Lars Noschinski
    • [isabelle-dev] Definite name for case combinator on products [was: NEWS]   Florian Haftmann
      • [isabelle-dev] Definite name for case combinator on products [was: NEWS]   Dmitriy Traytel
  • [isabelle-dev] NEWS   Andreas Lochbihler
    • [isabelle-dev] NEWS   Florian Haftmann
      • [isabelle-dev] NEWS   Tobias Nipkow
      • [isabelle-dev] NEWS   Florian Haftmann
      • [isabelle-dev] Implicit eta-contraction during printing and product binders [was: NEWS]   Florian Haftmann
      • [isabelle-dev] Implicit eta-contraction during printing and product binders [was: NEWS]   Tobias Nipkow
      • [isabelle-dev] Implicit eta-contraction during printing and product binders [was: NEWS]   Larry Paulson
      • [isabelle-dev] Some thoughts on mixfix syntax partially applied [was: NEWS]   Florian Haftmann
      • [isabelle-dev] Some thoughts on mixfix syntax partially applied [was: NEWS]   Larry Paulson
      • [isabelle-dev] Some thoughts on mixfix syntax partially applied [was: NEWS]   Tobias Nipkow
• [isabelle-dev] ML equality types   Florian Haftmann
  • [isabelle-dev] ML equality types   Larry Paulson
  • [isabelle-dev] ML equality types   Makarius
    • [isabelle-dev] ML equality types   Florian Haftmann
  • [isabelle-dev] ML equality types   Lars Hupel
• [isabelle-dev] [isabelle] Code setup for Fraction_Field   Andreas Lochbihler
• [isabelle-dev] goals inserts facts into goal statement   Makarius
• [isabelle-dev] Fonts in etc/symbols with space in the name (incl. workaround for Isabelle-2015), patch thoughts   Makarius
  • [isabelle-dev] Fonts in etc/symbols with space in the name (incl. workaround for Isabelle-2015), patch thoughts   Makarius
  • [isabelle-dev] Fonts in etc/symbols with space in the name (incl. workaround for Isabelle-2015), patch thoughts   Makarius
    • [isabelle-dev] Fonts in etc/symbols with space in the name (incl. workaround for Isabelle-2015), patch thoughts   Rafal Kolanski
  • [isabelle-dev] Fonts in etc/symbols with space in the name (incl. workaround for Isabelle-2015), patch thoughts   Rafal Kolanski
• [isabelle-dev] NEWS: HOL/Library/Omega_Words_Fun   Peter Lammich
  • [isabelle-dev] NEWS: HOL/Library/Omega_Words_Fun   Makarius
• [isabelle-dev] JinjaThreads   Makarius
  • [isabelle-dev] JinjaThreads   Andreas Lochbihler
  • [isabelle-dev] JinjaThreads   Andreas Lochbihler
• [isabelle-dev] Exposing some functions of the API   Frédéric Tuong
• [isabelle-dev] Notes on GHC an mutable data structures   Florian Haftmann
• [isabelle-dev] NEWS: 'consider' command and "cases" method   Manuel Eberl
  • [isabelle-dev] NEWS: 'consider' command and "cases" method   Andreas Lochbihler
    • [isabelle-dev] NEWS: 'consider' command and "cases" method   Manuel Eberl
• [isabelle-dev] NEWS: definitional typedef   Makarius
• [isabelle-dev] NEWS: Thm.pretty_thm etc.   Makarius
• [isabelle-dev] real, of_nat and Suc   Larry Paulson

Last message date: Wed Sep 30 17:35:11 CEST 2015
Archived on: Fri Apr 12 08:42:22 CEST 2019

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