March 2012 Archives by subject

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

Starting: Fri Mar 2 22:18:49 CET 2012
Ending: Sat Mar 31 08:24:57 CEST 2012
Messages: 142

• [isabelle-dev] [isabelle] Status of HOL/Import   Florian Haftmann
• [isabelle-dev] [isabelle] Status of HOL/Import   Cezary Kaliszyk
• [isabelle-dev] [isabelle] Status of HOL/Import   Florian Haftmann
• [isabelle-dev] [isabelle] Status of HOL/Import   Makarius
• [isabelle-dev] Building the IsarImplementation Manual on 9fc17f9ccd6c   Lukas Bulwahn
• [isabelle-dev] Building the IsarImplementation Manual on 9fc17f9ccd6c   Makarius
• [isabelle-dev] compiling jedit for Isabelle development   Viorel Preoteasa
• [isabelle-dev] compiling jedit for Isabelle development   Makarius
• [isabelle-dev] compiling jedit for Isabelle development   Viorel Preoteasa
• [isabelle-dev] Conversions between ('a * 'a) set and 'a => 'a => bool relations   Florian Haftmann
• [isabelle-dev] Conversions between ('a * 'a) set and 'a => 'a => bool relations   Stefan Berghofer
• [isabelle-dev] Conversions between ('a * 'a) set and 'a => 'a => bool relations   Stefan Berghofer
• [isabelle-dev] Conversions between ('a * 'a) set and 'a => 'a => bool relations   Florian Haftmann
• [isabelle-dev] Conversions between ('a * 'a) set and 'a => 'a => bool relations   Lars Noschinski
• [isabelle-dev] Conversions between ('a * 'a) set and 'a => 'a => bool relations   Lars Noschinski
• [isabelle-dev] Conversions between ('a * 'a) set and 'a => 'a => bool relations   Florian Haftmann
• [isabelle-dev] Conversions between ('a * 'a) set and 'a => 'a => bool relations   Florian Haftmann
• [isabelle-dev] Conversions between ('a * 'a) set and 'a => 'a => bool relations   Florian Haftmann
• [isabelle-dev] Difference between " induct " and " induct_tac "   charmi panchal
• [isabelle-dev] Difference between " induct " and " induct_tac "   Lawrence Paulson
• [isabelle-dev] Fwd: status (AFP)   Tobias Nipkow
• [isabelle-dev] Fwd: status (AFP)   Tobias Nipkow
• [isabelle-dev] Fwd: status (AFP)   Brian Huffman
• [isabelle-dev] Fwd: status (AFP)   Lukas Bulwahn
• [isabelle-dev] Google group fa.isabelle   Makarius
• [isabelle-dev] Google group fa.isabelle   Lars Noschinski
• [isabelle-dev] Invoking Simplifier inside simproc, ### Simplifier: renamed bound variable   Peter Lammich
• [isabelle-dev] Isabelle/jEdit: non-trivial theory merge   Lars Noschinski
• [isabelle-dev] Isabelle/jEdit: non-trivial theory merge   Makarius
• [isabelle-dev] Isabelle/jEdit: non-trivial theory merge   Makarius
• [isabelle-dev] Isabelle/jEdit build   Makarius
• [isabelle-dev] Isabelle/jEdit build   Viorel Preoteasa
• [isabelle-dev] Isabelle/jEdit build   Makarius
• [isabelle-dev] Isabelle/jEdit build   Viorel Preoteasa
• [isabelle-dev] Isabelle/jEdit feedback   Christian Sternagel
• [isabelle-dev] Isabelle/jEdit feedback   Makarius
• [isabelle-dev] Isatest   Florian Haftmann
• [isabelle-dev] Isatest   Tobias Nipkow
• [isabelle-dev] Isatest   Makarius
• [isabelle-dev] Isatest   Gerwin Klein
• [isabelle-dev] Isatest   Tobias Nipkow
• [isabelle-dev] Isatest   Gerwin Klein
• [isabelle-dev] Isatest   Lukas Bulwahn
• [isabelle-dev] Isatest   Makarius
• [isabelle-dev] Isatest   Makarius
• [isabelle-dev] jar: command not found   Sascha Boehme
• [isabelle-dev] jar: command not found   Makarius
• [isabelle-dev] jar: command not found   Makarius
• [isabelle-dev] JDK / Mira   Florian Haftmann
• [isabelle-dev] JDK / Mira   Florian Haftmann
• [isabelle-dev] JDK / Mira   Lukas Bulwahn
• [isabelle-dev] JDK / Mira   Makarius
• [isabelle-dev] JDK / Mira   Makarius
• [isabelle-dev] jedit_build-20120313   Makarius
• [isabelle-dev] jEdit import theories   Christian Sternagel
• [isabelle-dev] jEdit import theories   Makarius
• [isabelle-dev] jEdit import theories   Christian Sternagel
• [isabelle-dev] jEdit import theories   Makarius
• [isabelle-dev] jEdit Problem report   Florian Haftmann
• [isabelle-dev] jEdit Problem report   Makarius
• [isabelle-dev] MacHg 1.0 soon   Makarius
• [isabelle-dev] MacHg 1.0 soon   Lawrence Paulson
• [isabelle-dev] MacHg 1.0 soon   Makarius
• [isabelle-dev] MacHg 1.0 soon   Lawrence Paulson
• [isabelle-dev] misc problems   Lawrence Paulson
• [isabelle-dev] misc problems   Andrew Boyton
• [isabelle-dev] misc problems   Lawrence Paulson
• [isabelle-dev] misc problems   Jasmin Christian Blanchette
• [isabelle-dev] misc problems   Lawrence Paulson
• [isabelle-dev] misc problems   Andrew Boyton
• [isabelle-dev] misc problems   Makarius
• [isabelle-dev] misc problems   Lawrence Paulson
• [isabelle-dev] misc problems   Makarius
• [isabelle-dev] Name for derived quotient_def theorem   Florian Haftmann
• [isabelle-dev] Name for derived quotient_def theorem   Lukas Bulwahn
• [isabelle-dev] Name for derived quotient_def theorem   Tobias Nipkow
• [isabelle-dev] Name for derived quotient_def theorem   Ondřej Kunčar
• [isabelle-dev] Name for derived quotient_def theorem   Makarius
• [isabelle-dev] Name for derived quotient_def theorem   Florian Haftmann
• [isabelle-dev] Name for derived quotient_def theorem   Florian Haftmann
• [isabelle-dev] Name for derived quotient_def theorem   Florian Haftmann
• [isabelle-dev] New HOL/Import   Cezary Kaliszyk
• [isabelle-dev] New HOL/Import   Makarius
• [isabelle-dev] New HOL/Import   Makarius
• [isabelle-dev] New HOL/Import   Cezary Kaliszyk
• [isabelle-dev] NEWS: basic definitions   Makarius
• [isabelle-dev] NEWS: numeral representation   Brian Huffman
• [isabelle-dev] NEWS: numeral representation   Jasmin Christian Blanchette
• [isabelle-dev] NEWS: numeral representation   Makarius
• [isabelle-dev] NEWS: numeral representation   Lukas Bulwahn
• [isabelle-dev] NEWS: numeral representation   Makarius
• [isabelle-dev] NEWS: numeral representation   Brian Huffman
• [isabelle-dev] NEWS: numeral representation   Florian Haftmann
• [isabelle-dev] NEWS: numeral representation   Brian Huffman
• [isabelle-dev] NEWS: numeral representation   Florian Haftmann
• [isabelle-dev] NEWS: numeral representation   Brian Huffman
• [isabelle-dev] NEWS: numeral representation   Florian Haftmann
• [isabelle-dev] NEWS: outer syntax forward declarations   Makarius
• [isabelle-dev] NEWS: outer syntax forward declarations   Florian Haftmann
• [isabelle-dev] pred_set_conv – unidirectional rule   Florian Haftmann
• [isabelle-dev] Quotient.invariant   Makarius
• [isabelle-dev] Quotient.invariant   Tobias Nipkow
• [isabelle-dev] Quotient.invariant   Ondřej Kunčar
• [isabelle-dev] Quotient.invariant   Gerwin Klein
• [isabelle-dev] Quotient.invariant   Florian Haftmann
• [isabelle-dev] Quotient.invariant   Ondřej Kunčar
• [isabelle-dev] Quotient.invariant   Makarius
• [isabelle-dev] Receiving error after importing Multivariate_Analysis.thy   charmi panchal
• [isabelle-dev] Relations vs. Predicates   Christian Sternagel
• [isabelle-dev] Relations vs. Predicates   Florian Haftmann
• [isabelle-dev] Relations vs. Predicates   Christian Sternagel
• [isabelle-dev] Relations vs. Predicates   Christian Sternagel
• [isabelle-dev] sets and code generation   Christian Sternagel
• [isabelle-dev] sets and code generation   Lukas Bulwahn
• [isabelle-dev] sets and code generation   Christian Sternagel
• [isabelle-dev] sets and code generation   Lukas Bulwahn
• [isabelle-dev] sets and code generation   Florian Haftmann
• [isabelle-dev] sets and code generation   Jesus Aransay
• [isabelle-dev] sets and code generation   Christian Sternagel
• [isabelle-dev] sets and code generation   Lukas Bulwahn
• [isabelle-dev] sets and code generation   Makarius
• [isabelle-dev] sets and code generation   Jesus Aransay
• [isabelle-dev] sets and code generation   Florian Haftmann
• [isabelle-dev] Status of AFP/JinjaThreads   Makarius
• [isabelle-dev] Status of AFP/JinjaThreads   Lukas Bulwahn
• [isabelle-dev] Status of AFP/JinjaThreads   Florian Haftmann
• [isabelle-dev] syntax errors cause hanging   Lawrence Paulson
• [isabelle-dev] syntax errors cause hanging   Lawrence Paulson
• [isabelle-dev] syntax errors cause hanging   Makarius
• [isabelle-dev] thms with VERY long identifiers   Walther Neuper
• [isabelle-dev] thms with VERY long identifiers   Makarius
• [isabelle-dev] Towards the next release   Florian Haftmann
• [isabelle-dev] Towards the next release   Thomas Sewell
• [isabelle-dev] Towards the next release   Christian Sternagel
• [isabelle-dev] Towards the next release   Christian Sternagel
• [isabelle-dev] Towards the next release   Florian Haftmann
• [isabelle-dev] Towards the next release   Makarius
• [isabelle-dev] Towards the next release   Florian Haftmann
• [isabelle-dev] Towards the next release   Tobias Nipkow
• [isabelle-dev] ZF/upair.thy failing   Lawrence Paulson
• [isabelle-dev] ZF/upair.thy failing   Lawrence Paulson
• [isabelle-dev] ZF/upair.thy failing   Makarius

Last message date: Sat Mar 31 08:24:57 CEST 2012
Archived on: Fri Apr 12 08:42:13 CEST 2019

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