October 2013 Archives by author

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

Starting: Tue Oct 1 01:14:09 CEST 2013
Ending: Thu Oct 31 12:05:16 CET 2013
Messages: 39

• [isabelle-dev] isabelle jedit -l HOL fails   Clemens Ballarin
• [isabelle-dev] isabelle jedit -l HOL fails   Clemens Ballarin
• [isabelle-dev] Problem "exception TYPE raised: Loose bound variable"   Stefan Berghofer
• [isabelle-dev] sledgehammer   Jasmin Christian Blanchette
• [isabelle-dev] Orphaned theory in AFP   Joachim Breitner
• [isabelle-dev] Abbreviations + Monad_Syntax introduce "unit itself" additional type variable   Florian Haftmann
• [isabelle-dev] Abbreviations + Monad_Syntax introduce "unit itself" additional type variable   Florian Haftmann
• [isabelle-dev] Orphaned theory in AFP   Florian Haftmann
• [isabelle-dev] Concerning AFP 2a0f81020af9   Florian Haftmann
• [isabelle-dev] Ordinary_Differential_Equations FAILED   Florian Haftmann
• [isabelle-dev] Concerning AFP 2a0f81020af9   Florian Haftmann
• [isabelle-dev] Problem with transfer method   Brian Huffman
• [isabelle-dev] Ordinary_Differential_Equations FAILED   Fabian Immler
• [isabelle-dev] AFP 2013-1 release branch   Gerwin Klein
• [isabelle-dev] Concerning AFP 2a0f81020af9   Gerwin Klein
• [isabelle-dev] Ordinary_Differential_Equations FAILED   Gerwin Klein
• [isabelle-dev] NEWS: elimination rules for recursive functions and new command fun_cases   Alexander Krauss
• [isabelle-dev] Testboard   Alexander Krauss
• [isabelle-dev] [Fwd: [isabelle] Monad_Syntax breaks display of abbreviations]   Peter Lammich
• [isabelle-dev] Concerning AFP 2a0f81020af9   Peter Lammich
• [isabelle-dev] Concerning AFP 2a0f81020af9   Peter Lammich
• [isabelle-dev] isabelle jedit -l HOL fails   Makarius
• [isabelle-dev] NEWS: elimination rules for recursive functions and new command fun_cases   Makarius
• [isabelle-dev] Problems with Fedora   Makarius
• [isabelle-dev] Fork of Isabelle2013-1 release repository TODAY   Makarius
• [isabelle-dev] Problems with Fedora   Makarius
• [isabelle-dev] Fork of Isabelle2013-1 release repository TODAY   Makarius
• [isabelle-dev] Fork of Isabelle2013-1 release repository TODAY   Makarius
• [isabelle-dev] Abbreviations + Monad_Syntax introduce "unit itself" additional type variable   Makarius
• [isabelle-dev] Fork of Isabelle2013-1 release repository TODAY   Makarius
• [isabelle-dev] Fork of Isabelle2013-1 release repository TODAY   Makarius
• [isabelle-dev] [isabelle] Problem "exception TYPE raised: Loose bound variable"   Makarius
• [isabelle-dev] sledgehammer   Tobias Nipkow
• [isabelle-dev] isabelle jedit -l HOL fails   Lars Noschinski
• [isabelle-dev] Testboard   Lars Noschinski
• [isabelle-dev] [isabelle] Problem "exception TYPE raised: Loose bound variable"   Lawrence Paulson
• [isabelle-dev] Problems with Fedora   Christian Sternagel
• [isabelle-dev] [Fwd: [isabelle] Monad_Syntax breaks display of abbreviations]   Christian Sternagel
• [isabelle-dev] sledgehammer   Geoff Sutcliffe

Last message date: Thu Oct 31 12:05:16 CET 2013
Archived on: Fri Apr 12 08:42:18 CEST 2019

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