October 2014 Archives by author

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

Starting: Wed Oct 1 14:27:48 CEST 2014
Ending: Thu Oct 30 20:07:23 CET 2014
Messages: 50

• [isabelle-dev] [isabelle] Theory Prefix_Order   Julian Brunner
• [isabelle-dev] RDP 2015 Second Call for Workshops   Łukasz Czajka
• [isabelle-dev] [isabelle] Imperative HOL: typo?   Florian Haftmann
• [isabelle-dev] [isabelle] Imperative HOL: typo?   Florian Haftmann
• [isabelle-dev] NEWS and INCOMPATIBILITY   Florian Haftmann
• [isabelle-dev] Let and tuple case expressions   Florian Haftmann
• [isabelle-dev] Testing of generated code   Florian Haftmann
• [isabelle-dev] Code preprocessor tracing   Florian Haftmann
• [isabelle-dev] Remaining uses of Python?   Florian Haftmann
• [isabelle-dev] [isabelle] Imperative_HOL: code generator setup for Haskell   Florian Haftmann
• [isabelle-dev] HOL Importer failure   Florian Haftmann
• [isabelle-dev] Problem in the AFP   Florian Haftmann
• [isabelle-dev] HOL Importer failure   Florian Haftmann
• [isabelle-dev] NEWS: parameterized antiquotations @{map N}, @{fold N} etc.   Florian Haftmann
• [isabelle-dev] Let and tuple case expressions   Brian Huffman
• [isabelle-dev] @ML antiquotation in generated code   Johannes Hölzl
• [isabelle-dev] Fwd: [isabelle] natfloor_div_nat not general enough   Johannes Hölzl
• [isabelle-dev] natfloor_div_nat not general enough   Johannes Hölzl
• [isabelle-dev] rtrancl lemma proposal   Peter Lammich
• [isabelle-dev] Split-lemmas for Option.bind   Peter Lammich
• [isabelle-dev] Code preprocessor tracing   Andreas Lochbihler
• [isabelle-dev] NEWS and INCOMPATIBILITY   Makarius
• [isabelle-dev] NEWS: bibtex support in Isabelle/jEdit   Makarius
• [isabelle-dev] NEWS: update_cartouches   Makarius
• [isabelle-dev] NEWS: simplified "sos" method   Makarius
• [isabelle-dev] NEWS: parameterized antiquotations @{map N}, @{fold N} etc.   Makarius
• [isabelle-dev] Remaining uses of Python?   Makarius
• [isabelle-dev] default cases rule   Makarius
• [isabelle-dev] Proposal for localized interpretations   Makarius
• [isabelle-dev] Proposal for localized interpretations   Makarius
• [isabelle-dev] Removing TTY / Proof General support   Makarius
• [isabelle-dev] NEWS: improved folding   Makarius
• [isabelle-dev] @ML antiquotation in generated code   Makarius
• [isabelle-dev] LWP::Simple   Makarius
• [isabelle-dev] NEWS: parameterized antiquotations @{map N}, @{fold N} etc.   Makarius
• [isabelle-dev] Proposal for localized interpretations   Makarius
• [isabelle-dev] Let and tuple case expressions   Tobias Nipkow
• [isabelle-dev] NEWS: update_cartouches   Tobias Nipkow
• [isabelle-dev] Stripped testboard repository   Lars Noschinski
• [isabelle-dev] NEWS and INCOMPATIBILITY   Lawrence Paulson
• [isabelle-dev] Let and tuple case expressions   Lawrence Paulson
• [isabelle-dev] LWP::Simple   Lawrence Paulson
• [isabelle-dev] LWP::Simple   Lawrence Paulson
• [isabelle-dev] Fwd: [isabelle] natfloor_div_nat not general enough   Lawrence Paulson
• [isabelle-dev] rtrancl lemma proposal   Christian Sternagel
• [isabelle-dev] [isabelle] Imperative_HOL: code generator setup for Haskell   Christian Sternagel
• [isabelle-dev] [isabelle] Theory Prefix_Order   Christian Sternagel
• [isabelle-dev] NEWS: parameterized antiquotations @{map N}, @{fold N} etc.   René Thiemann
• [isabelle-dev] NEWS: parameterized antiquotations @{map N}, @{fold N} etc.   Dmitriy Traytel
• [isabelle-dev] Problem in the AFP   Dmitriy Traytel

Last message date: Thu Oct 30 20:07:23 CET 2014
Archived on: Fri Apr 12 08:42:20 CEST 2019

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