September 2013 Archives by subject

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

Starting: Mon Sep 2 11:18:12 CEST 2013
Ending: Mon Sep 30 23:48:35 CEST 2013
Messages: 255

• [isabelle-dev] [Fwd: [isabelle] Monad_Syntax breaks display of abbreviations]   Peter Lammich
• [isabelle-dev] [Fwd: [isabelle] Monad_Syntax breaks display of abbreviations]   Florian Haftmann
• [isabelle-dev] [Fwd: [isabelle] Monad_Syntax breaks display of abbreviations]   Christian Sternagel
• [isabelle-dev] [Fwd: [isabelle] Monad_Syntax breaks display of abbreviations]   Christian Sternagel
• [isabelle-dev] [Fwd: [isabelle] Monad_Syntax breaks display of abbreviations]   Makarius
• [isabelle-dev] [Fwd: [isabelle] Monad_Syntax breaks display of abbreviations]   Christian Sternagel
• [isabelle-dev] [Fwd: [isabelle] Monad_Syntax breaks display of abbreviations]   Christian Sternagel
• [isabelle-dev] [Fwd: [isabelle] Monad_Syntax breaks display of abbreviations]   Jasmin Christian Blanchette
• [isabelle-dev] [isabelle] General code_abort'd constant   Andreas Lochbihler
• [isabelle-dev] [isabelle] General code_abort'd constant   Florian Haftmann
• [isabelle-dev] [isabelle] General code_abort'd constant   Andreas Lochbihler
• [isabelle-dev] [isabelle] New representation of naturals in Code_Target_Numeral decreases generated code performance   Florian Haftmann
• [isabelle-dev] [isabelle] New representation of naturals in Code_Target_Numeral decreases generated code performance   Andreas Lochbihler
• [isabelle-dev] [polyml] Poly/ML 5.5.1 (fwd)   Makarius
• [isabelle-dev] Abbreviations + Monad_Syntax introduce "unit itself" additional type variable   Peter Lammich
• [isabelle-dev] Abbreviations + Monad_Syntax introduce "unit itself" additional type variable   Florian Haftmann
• [isabelle-dev] Abbreviations + Monad_Syntax introduce "unit itself" additional type variable   Peter Lammich
• [isabelle-dev] Advice for replacing @{simpset} with @{context}.   David Greenaway
• [isabelle-dev] Advice for replacing @{simpset} with @{context}.   Makarius
• [isabelle-dev] Advice for replacing @{simpset} with @{context}.   David Greenaway
• [isabelle-dev] Advice for replacing @{simpset} with @{context}.   Makarius
• [isabelle-dev] Advice for replacing @{simpset} with @{context}.   Peter Lammich
• [isabelle-dev] Advice for replacing @{simpset} with @{context}.   Makarius
• [isabelle-dev] Broken component: jdk7u40   Lars Hupel
• [isabelle-dev] Broken component: jdk7u40   Tobias Nipkow
• [isabelle-dev] Broken component: jdk7u40   Lawrence Paulson
• [isabelle-dev] Broken component: jdk7u40   Bertram Felgenhauer
• [isabelle-dev] Broken component: jdk7u40   Makarius
• [isabelle-dev] Broken component: jdk7u40   Lars Hupel
• [isabelle-dev] Broken component: jdk7u40   Makarius
• [isabelle-dev] Broken component: jdk7u40   Stefan Berghofer
• [isabelle-dev] Broken component: jdk7u40   Lars Hupel
• [isabelle-dev] Broken component: jdk7u40   Makarius
• [isabelle-dev] Clone attacks   Florian Haftmann
• [isabelle-dev] Clone attacks   Lawrence Paulson
• [isabelle-dev] conflict between code_identifier constant and module_name   Andreas Lochbihler
• [isabelle-dev] conflict between code_identifier constant and module_name   Florian Haftmann
• [isabelle-dev] conflict between code_identifier constant and module_name   Florian Haftmann
• [isabelle-dev] Converting existing proofs from apply-style to "structured" Isar-style   Josh Tilles
• [isabelle-dev] Converting existing proofs from apply-style to "structured" Isar-style   Josh Tilles
• [isabelle-dev] Converting existing proofs from apply-style to "structured" Isar-style   Josh Tilles
• [isabelle-dev] Converting existing proofs from apply-style to "structured" Isar-style   Makarius
• [isabelle-dev] Converting existing proofs from apply-style to "structured" Isar-style   Makarius
• [isabelle-dev] Dead and broken theory src/HOL/Library/Quickcheck_Types.thy   Florian Haftmann
• [isabelle-dev] Dead and broken theory src/HOL/Library/Quickcheck_Types.thy   Makarius
• [isabelle-dev] Find theorems and Sledgehammer Panels   Christian Sternagel
• [isabelle-dev] Find theorems and Sledgehammer Panels   Makarius
• [isabelle-dev] Find theorems and Sledgehammer Panels   Makarius
• [isabelle-dev] Find theorems and Sledgehammer Panels   Makarius
• [isabelle-dev] Fwd: Isabelle-10-Sept   Alfio Martini
• [isabelle-dev] Fwd: Isabelle-10-Sept   Makarius
• [isabelle-dev] GTK look-and-feel on Linux   Makarius
• [isabelle-dev] HOL iff notation   Makarius
• [isabelle-dev] HOL iff notation   Tobias Nipkow
• [isabelle-dev] HOL iff notation   Lawrence Paulson
• [isabelle-dev] HOL iff notation   Makarius
• [isabelle-dev] HOL iff notation   Makarius
• [isabelle-dev] HOL iff notation   Florian Haftmann
• [isabelle-dev] HOL iff notation   Lawrence Paulson
• [isabelle-dev] HOL iff notation   Gerwin Klein
• [isabelle-dev] HOL iff notation   Christian Sternagel
• [isabelle-dev] HOL iff notation   Peter Lammich
• [isabelle-dev] HOL iff notation   Lawrence Paulson
• [isabelle-dev] HOL iff notation   Makarius
• [isabelle-dev] HOL iff notation   Lars Noschinski
• [isabelle-dev] HOL iff notation   Makarius
• [isabelle-dev] including raises Attempt to perform non-trivial merge of theories   Makarius
• [isabelle-dev] including raises Attempt to perform non-trivial merge of theories   Andreas Lochbihler
• [isabelle-dev] Isabelle-10-Sept   Alfio Martini
• [isabelle-dev] Isabelle-10-Sept   Makarius
• [isabelle-dev] Isabelle/jEdit doesn't process theories   Jasmin Christian Blanchette
• [isabelle-dev] Isabelle/jEdit doesn't process theories   Makarius
• [isabelle-dev] Isabelle/jEdit doesn't process theories   Jasmin Blanchette
• [isabelle-dev] Isabelle_10-Sep-2013   Makarius
• [isabelle-dev] RE: Isabelle_10-Sep-2013   C. Diekmann
• [isabelle-dev] Isabelle_10-Sep-2013   Tobias Nipkow
• [isabelle-dev] Isabelle_10-Sep-2013   Makarius
• [isabelle-dev] Isabelle_10-Sep-2013   C. Diekmann
• [isabelle-dev] Isabelle_10-Sep-2013   Florian Haftmann
• [isabelle-dev] Isabelle_10-Sep-2013   Florian Haftmann
• [isabelle-dev] Isabelle_10-Sep-2013   Gerwin Klein
• [isabelle-dev] Isabelle_10-Sep-2013   C. Diekmann
• [isabelle-dev] Isabelle_10-Sep-2013   René Thiemann
• [isabelle-dev] Isabelle_10-Sep-2013   C. Diekmann
• [isabelle-dev] Isabelle_10-Sep-2013   Makarius
• [isabelle-dev] Isabelle_10-Sep-2013   C. Diekmann
• [isabelle-dev] Isabelle_10-Sep-2013   Makarius
• [isabelle-dev] Isabelle_10-Sep-2013   Makarius
• [isabelle-dev] Isabelle_10-Sep-2013   David Matthews
• [isabelle-dev] Isabelle_10-Sep-2013   René Thiemann
• [isabelle-dev] Isabelle_10-Sep-2013   David Matthews
• [isabelle-dev] Isabelle_10-Sep-2013   René Thiemann
• [isabelle-dev] Isabelle_10-Sep-2013   Makarius
• [isabelle-dev] Isabelle_10-Sep-2013   David Matthews
• [isabelle-dev] Isabelle_10-Sep-2013   René Thiemann
• [isabelle-dev] Isabelle_10-Sep-2013   Makarius
• [isabelle-dev] Isabelle_10-Sep-2013   Makarius
• [isabelle-dev] Isabelle_10-Sep-2013 (fwd)   Makarius
• [isabelle-dev] Isabelle_12-Sep-2013   Makarius
• [isabelle-dev] Isabelle_12-Sep-2013   Makarius
• [isabelle-dev] Isabelle_12-Sep-2013   David Greenaway
• [isabelle-dev] Isabelle_12-Sep-2013   Makarius
• [isabelle-dev] Isabelle_25-Sep-2013 integration test   Makarius
• [isabelle-dev] Isabelle_25-Sep-2013 integration test   Alfio Martini
• [isabelle-dev] Isabelle_25-Sep-2013 integration test   Peter Lammich
• [isabelle-dev] Isabelle_25-Sep-2013 integration test   Peter Lammich
• [isabelle-dev] Isabelle_25-Sep-2013 integration test   Lars Noschinski
• [isabelle-dev] Isabelle_25-Sep-2013 integration test   Makarius
• [isabelle-dev] Isabelle_25-Sep-2013 integration test   Makarius
• [isabelle-dev] Isabelle website   Makarius
• [isabelle-dev] Isabelle website   Tobias Nipkow
• [isabelle-dev] Isabelle website   Makarius
• [isabelle-dev] Isabelle website   Lawrence Paulson
• [isabelle-dev] Isabelle website   Christian Sternagel
• [isabelle-dev] Isabelle website   Gottfried Barrow
• [isabelle-dev] Isabelle website   Gottfried Barrow
• [isabelle-dev] jdk-7u40   Makarius
• [isabelle-dev] jdk-7u40   Gerwin Klein
• [isabelle-dev] jEdit: re-checking of main buffer   Makarius
• [isabelle-dev] jedit interface   Tobias Nipkow
• [isabelle-dev] jedit interface   Makarius
• [isabelle-dev] jedit interface   Tobias Nipkow
• [isabelle-dev] jedit interface   Makarius
• [isabelle-dev] jedit interface   Makarius
• [isabelle-dev] jEdit on Mac OS X   Makarius
• [isabelle-dev] jEdit on Mac OS X   Makarius
• [isabelle-dev] Missing letters in jEdit   Jasmin Christian Blanchette
• [isabelle-dev] Missing letters in jEdit   Makarius
• [isabelle-dev] Missing letters in jEdit   Jasmin Blanchette
• [isabelle-dev] Missing letters in jEdit   Makarius
• [isabelle-dev] Missing letters in jEdit   Jasmin Blanchette
• [isabelle-dev] Missing letters in jEdit   Makarius
• [isabelle-dev] Missing letters in jEdit   Makarius
• [isabelle-dev] Missing letters in jEdit   Makarius
• [isabelle-dev] Monad_Syntax   Makarius
• [isabelle-dev] Monad_Syntax   Florian Haftmann
• [isabelle-dev] Monad_Syntax   Makarius
• [isabelle-dev] Monad_Syntax   Alexander Krauss
• [isabelle-dev] New AFP/devel entry Native_Word   Tobias Nipkow
• [isabelle-dev] New handling of int/nat   René Neumann
• [isabelle-dev] New handling of int/nat   Florian Haftmann
• [isabelle-dev] New handling of int/nat   René Neumann
• [isabelle-dev] NEWS: Dockable window "Find"   Lars Noschinski
• [isabelle-dev] NEWS: Dockable window "Find"   Makarius
• [isabelle-dev] NEWS: Dockable window "Find"   Holger Gast
• [isabelle-dev] NEWS: Dockable window "Find"   Makarius
• [isabelle-dev] NEWS: Dockable window "Find"   Holger Gast
• [isabelle-dev] NEWS: Dockable window "Find"   Makarius
• [isabelle-dev] NEWS: Dockable window "Find"   Holger Gast
• [isabelle-dev] NEWS: Dockable window "Find"   Makarius
• [isabelle-dev] NEWS: Dockable window "Find"   Holger Gast
• [isabelle-dev] NEWS: Dockable window "Find"   Makarius
• [isabelle-dev] NEWS: Dockable window "Find"   Holger Gast
• [isabelle-dev] NEWS: Dockable window "Find"   Makarius
• [isabelle-dev] NEWS: Dockable window "Find"   Holger Gast
• [isabelle-dev] NEWS: Dockable window "Find"   Makarius
• [isabelle-dev] NEWS: Dockable window "Find"   Andrius Velykis
• [isabelle-dev] NEWS: Dockable window "Find"   Makarius
• [isabelle-dev] NEWS: elimination rules for recursive functions and new command fun_cases   Alexander Krauss
• [isabelle-dev] NEWS: elimination rules for recursive functions and new command fun_cases   Makarius
• [isabelle-dev] NEWS: elimination rules for recursive functions and new command fun_cases   Manuel Eberl
• [isabelle-dev] NEWS: elimination rules for recursive functions and new command fun_cases   Makarius
• [isabelle-dev] NEWS: elimination rules for recursive functions and new command fun_cases   Manuel Eberl
• [isabelle-dev] NEWS: elimination rules for recursive functions and new command fun_cases   Makarius
• [isabelle-dev] NEWS: elimination rules for recursive functions and new command fun_cases   Manuel Eberl
• [isabelle-dev] NEWS: elimination rules for recursive functions and new command fun_cases   Makarius
• [isabelle-dev] NEWS: elimination rules for recursive functions and new command fun_cases   Manuel Eberl
• [isabelle-dev] NEWS: elimination rules for recursive functions and new command fun_cases   Makarius
• [isabelle-dev] NEWS: Improved completion mechanism   Makarius
• [isabelle-dev] NEWS: Improved completion mechanism   Makarius
• [isabelle-dev] NEWS: Improved completion mechanism   Christian Sternagel
• [isabelle-dev] NEWS: Improved completion mechanism   Makarius
• [isabelle-dev] NEWS: Improved completion mechanism   Makarius
• [isabelle-dev] NEWS: Improved completion mechanism   Makarius
• [isabelle-dev] NEWS: Improved completion mechanism   Makarius
• [isabelle-dev] NEWS: Improved completion mechanism   Makarius
• [isabelle-dev] NEWS: Improved completion mechanism   Christian Sternagel
• [isabelle-dev] NEWS: Improved completion mechanism   Christian Sternagel
• [isabelle-dev] NEWS: Improved completion mechanism   Christian Sternagel
• [isabelle-dev] NEWS: Improved completion mechanism   Makarius
• [isabelle-dev] NEWS: improved printing of exception trace in Poly/ML 5.5.1   Makarius
• [isabelle-dev] numpad doesn't work   Makarius
• [isabelle-dev] numpad doesn't work   Ondřej Kunčar
• [isabelle-dev] numpad doesn't work   Makarius
• [isabelle-dev] numpad doesn't work   Makarius
• [isabelle-dev] numpad doesn't work   Ondřej Kunčar
• [isabelle-dev] Orphaned theory src/HOL/Library/Sum_of_Squares_Remote   Florian Haftmann
• [isabelle-dev] Orphaned theory src/HOL/Library/Sum_of_Squares_Remote   Makarius
• [isabelle-dev] Preferences on Mac OS X   Makarius
• [isabelle-dev] Preferences on Mac OS X   Jasmin Christian Blanchette
• [isabelle-dev] Preferences on Mac OS X   Lawrence Paulson
• [isabelle-dev] Preferences on Mac OS X   Andrew Boyton
• [isabelle-dev] Preferences on Mac OS X   Makarius
• [isabelle-dev] Preferences on Mac OS X   Makarius
• [isabelle-dev] Preferences on Mac OS X   Makarius
• [isabelle-dev] Problems with Fedora   Makarius
• [isabelle-dev] Problem with transfer method   Florian Haftmann
• [isabelle-dev] Problem with transfer method   Brian Huffman
• [isabelle-dev] Problem with transfer method   Makarius
• [isabelle-dev] Raw_Simplifier.rewrite: repeated ad-hoc construction of simpset   Florian Haftmann
• [isabelle-dev] Raw_Simplifier.rewrite: repeated ad-hoc construction of simpset   Makarius
• [isabelle-dev] Raw_Simplifier.rewrite: repeated ad-hoc construction of simpset   Florian Haftmann
• [isabelle-dev] Raw_Simplifier.rewrite: repeated ad-hoc construction of simpset   Lars Noschinski
• [isabelle-dev] sledgehammer   Makarius
• [isabelle-dev] sledgehammer   Tobias Nipkow
• [isabelle-dev] sledgehammer   Lawrence Paulson
• [isabelle-dev] sledgehammer   Tobias Nipkow
• [isabelle-dev] sledgehammer   Makarius
• [isabelle-dev] sledgehammer   Makarius
• [isabelle-dev] sledgehammer   Makarius
• [isabelle-dev] Sledgehammer & Nitpick "spy" mode   Jasmin Christian Blanchette
• [isabelle-dev] Sledgehammer & Nitpick "spy" mode   Makarius
• [isabelle-dev] Sledgehammer & Nitpick "spy" mode   Jasmin Blanchette
• [isabelle-dev] sledgehammer panel problem   Lawrence Paulson
• [isabelle-dev] sledgehammer panel problem   Lawrence Paulson
• [isabelle-dev] sledgehammer panel problem   Makarius
• [isabelle-dev] sledgehammer panel problem   Lawrence Paulson
• [isabelle-dev] sledgehammer panel problem   Makarius
• [isabelle-dev] sledgehammer panel problem   Lawrence Paulson
• [isabelle-dev] sledgehammer panel problem   Makarius
• [isabelle-dev] sledgehammer panel problem   Lawrence Paulson
• [isabelle-dev] Sledgehammer proof text insertion   Florian Haftmann
• [isabelle-dev] Sledgehammer proof text insertion   Lars Noschinski
• [isabelle-dev] Sledgehammer proof text insertion   Dmitriy Traytel
• [isabelle-dev] Sledgehammer proof text insertion   Makarius
• [isabelle-dev] Sledgehammer proof text insertion   Makarius
• [isabelle-dev] Some proposed extensions to the Isabelle library   Alessandro Coglio
• [isabelle-dev] Some proposed extensions to the Isabelle library   Lawrence Paulson
• [isabelle-dev] Some proposed extensions to the Isabelle library   Alessandro Coglio
• [isabelle-dev] Some proposed extensions to the Isabelle library   Tobias Nipkow
• [isabelle-dev] Some proposed extensions to the Isabelle library   Tobias Nipkow
• [isabelle-dev] Testboard   Peter Lammich
• [isabelle-dev] Testboard   Lars Noschinski
• [isabelle-dev] Testboard   Peter Lammich
• [isabelle-dev] Testboard   Jasmin Christian Blanchette
• [isabelle-dev] The coming release   Makarius
• [isabelle-dev] The coming release   Tobias Nipkow
• [isabelle-dev] The coming release   Makarius
• [isabelle-dev] The coming release   Makarius
• [isabelle-dev] The coming release   Jasmin Christian Blanchette
• [isabelle-dev] The coming release   Makarius
• [isabelle-dev] The coming release   Jasmin Blanchette
• [isabelle-dev] The coming release   Makarius
• [isabelle-dev] The coming release   Makarius
• [isabelle-dev] Total failure of sledgehammer   Lawrence Paulson
• [isabelle-dev] Total failure of sledgehammer   Jasmin Christian Blanchette
• [isabelle-dev] Total failure of sledgehammer   Lawrence Paulson
• [isabelle-dev] Total failure of sledgehammer   Jasmin Blanchette
• [isabelle-dev] Total failure of sledgehammer   Lawrence Paulson
• [isabelle-dev] Total failure of sledgehammer   Jasmin Blanchette
• [isabelle-dev] trace_unify_fail   Lars Noschinski
• [isabelle-dev] trace_unify_fail   Makarius
• [isabelle-dev] Your Report (Bug ID: 9004689 ) - Mac OS X key event confusion for "COMMAND PLUS" (fwd)   Makarius
• [isabelle-dev] »Find theorems«-Panel   Florian Haftmann
• [isabelle-dev] »Find theorems«-Panel   Makarius

Last message date: Mon Sep 30 23:48:35 CEST 2013
Archived on: Fri Apr 12 08:42:18 CEST 2019

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