February 2014 Archives by author

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

Starting: Sat Feb 1 11:19:37 CET 2014
Ending: Fri Feb 28 23:00:52 CET 2014
Messages: 88

• [isabelle-dev] Shadowing of theorem names in locales   Clemens Ballarin
• [isabelle-dev] [isabelle] primcorec complains about invalid map function   Jasmin Blanchette
• [isabelle-dev] [isabelle] primcorec complains about invalid map function   Jasmin Blanchette
• [isabelle-dev] HOL-IMP very slow   Jasmin Blanchette
• [isabelle-dev] HOL-IMP very slow   Jasmin Blanchette
• [isabelle-dev] HOL-IMP very slow   Jasmin Blanchette
• [isabelle-dev] HOL-IMP very slow   Jasmin Blanchette
• [isabelle-dev] [isabelle] primcorec complains about invalid map function   Jasmin Blanchette
• [isabelle-dev] [isabelle] primcorec complains about invalid map function   Jasmin Blanchette
• [isabelle-dev] How to use the Isabelle *release's* jEdit with the *repository* code?   Jasmin Christian Blanchette
• [isabelle-dev] HOL-IMP very slow   Jasmin Christian Blanchette
• [isabelle-dev] HOL-IMP very slow   Jasmin Christian Blanchette
• [isabelle-dev] Stymied by cryptic failure in Product_type.thy   Jasmin Christian Blanchette
• [isabelle-dev] Stymied by cryptic failure in Product_type.thy   Jasmin Christian Blanchette
• [isabelle-dev] Sum_of_Squares_Remote.thy dropout   Jasmin Christian Blanchette
• [isabelle-dev] AFP continously broken   Jasmin Christian Blanchette
• [isabelle-dev] Abbreviations + Monad_Syntax introduce "unit itself" additional type variable   Florian Haftmann
• [isabelle-dev] Sum_of_Squares_Remote.thy dropout   Florian Haftmann
• [isabelle-dev] NEWS   Florian Haftmann
• [isabelle-dev] Shadowing of theorem names in locales   Florian Haftmann
• [isabelle-dev] Dead and broken theory src/HOL/Library/Quickcheck_Types.thy   Florian Haftmann
• [isabelle-dev] Yet another encounter with HOL-Word   Florian Haftmann
• [isabelle-dev] NEWS: interactive simplifier trace   Lars Hupel
• [isabelle-dev] Pushing to AFP fails   Gerwin Klein
• [isabelle-dev] PolyML crashes   Ondřej Kunčar
• [isabelle-dev] NEWS: discontinued obsolete attribute "standard"   Peter Lammich
• [isabelle-dev] [isabelle] primcorec complains about invalid map function   Andreas Lochbihler
• [isabelle-dev] [isabelle] primcorec complains about invalid map function   Andreas Lochbihler
• [isabelle-dev] [isabelle] primcorec complains about invalid map function   Andreas Lochbihler
• [isabelle-dev] Pushing to AFP fails   Andreas Lochbihler
• [isabelle-dev] Pushing to AFP fails   Andreas Lochbihler
• [isabelle-dev] NEWS: discontinued obsolete attribute "standard"   Makarius
• [isabelle-dev] NEWS: discontinued obsolete attribute "standard"   Makarius
• [isabelle-dev] NEWS: discontinued obsolete attribute "standard"   Makarius
• [isabelle-dev] adhoc overloading: order inserting overloaded constant   Makarius
• [isabelle-dev] adhoc overloading: order inserting overloaded constant   Makarius
• [isabelle-dev] text_fold   Makarius
• [isabelle-dev] Shadowing of theorem names in locales   Makarius
• [isabelle-dev] underscore in latex   Makarius
• [isabelle-dev] Admin/PLATFORMS   Makarius
• [isabelle-dev] HOL-IMP very slow   Makarius
• [isabelle-dev] NEWS: Auxiliary files   Makarius
• [isabelle-dev] HOL-IMP very slow   Makarius
• [isabelle-dev] HOL-IMP very slow   Makarius
• [isabelle-dev] NEWS: text cartouches   Makarius
• [isabelle-dev] HOL-IMP very slow   Makarius
• [isabelle-dev] HOL/Library/Code_Prolog.thy breakdown   Makarius
• [isabelle-dev] HOL/Library/Code_Prolog.thy breakdown   Makarius
• [isabelle-dev] HOL-IMP very slow   Makarius
• [isabelle-dev] NEWS: improved support for Isabelle/ML   Makarius
• [isabelle-dev] AFP broken   Makarius
• [isabelle-dev] AFP broken   Makarius
• [isabelle-dev] Collecting statistics in Isabelle's kernel   Makarius
• [isabelle-dev] Collecting statistics in Isabelle's kernel   Makarius
• [isabelle-dev] NEWS: Improved completion based on context information   Makarius
• [isabelle-dev] NEWS: Improved completion based on context information   Makarius
• [isabelle-dev] NEWS: Improved completion based on context information   Makarius
• [isabelle-dev] HOL/Complex fails due to Z3 requirement   Makarius
• [isabelle-dev] NEWS: Improved completion based on context information   Makarius
• [isabelle-dev] AFP continously broken   Makarius
• [isabelle-dev] AFP continously broken   Makarius
• [isabelle-dev] NEWS: improved support for Isabelle/ML   Makarius
• [isabelle-dev] HOL/Library/Code_Prolog.thy breakdown   Makarius
• [isabelle-dev] Pushing to AFP fails   David Matthews
• [isabelle-dev] PolyML crashes   David Matthews
• [isabelle-dev] How to use the Isabelle *release's* jEdit with the *repository* code?   Lars Noschinski
• [isabelle-dev] Stymied by cryptic failure in Product_type.thy   Lars Noschinski
• [isabelle-dev] NEWS: improved support for Isabelle/ML   Lars Noschinski
• [isabelle-dev] Collecting statistics in Isabelle's kernel   Lars Noschinski
• [isabelle-dev] HOL-IMP very slow   Lawrence Paulson
• [isabelle-dev] HOL-IMP very slow   Lawrence Paulson
• [isabelle-dev] HOL-IMP very slow   Lawrence Paulson
• [isabelle-dev] adhoc overloading: order inserting overloaded constant   Christian Sternagel
• [isabelle-dev] Abbreviations + Monad_Syntax introduce "unit itself" additional type variable   Christian Sternagel
• [isabelle-dev] NEWS: interactive simplifier trace   Christian Sternagel
• [isabelle-dev] Proper implementation of multisets   René Thiemann
• [isabelle-dev] How to use the Isabelle *release's* jEdit with the *repository* code?   Josh Tilles
• [isabelle-dev] How to use the Isabelle *release's* jEdit with the *repository* code?   Josh Tilles
• [isabelle-dev] Stymied by cryptic failure in Product_type.thy   Josh Tilles
• [isabelle-dev] Stymied by cryptic failure in Product_type.thy   Josh Tilles
• [isabelle-dev] Stymied by cryptic failure in Product_type.thy   Josh Tilles
• [isabelle-dev] How to use the Isabelle *release's* jEdit with the *repository* code?   Josh Tilles
• [isabelle-dev] text_fold   Dmitriy Traytel
• [isabelle-dev] HOL-IMP very slow   Dmitriy Traytel
• [isabelle-dev] HOL/Library/Code_Prolog.thy breakdown   Dmitriy Traytel
• [isabelle-dev] HOL/Library/Code_Prolog.thy breakdown   Dmitriy Traytel
• [isabelle-dev] NEWS: improved support for Isabelle/ML   Dmitriy Traytel
• [isabelle-dev] NEWS: improved support for Isabelle/ML   Dmitriy Traytel

Last message date: Fri Feb 28 23:00:52 CET 2014
Archived on: Fri Apr 12 08:42:19 CEST 2019

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