November 2011 Archives by author

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

Starting: Tue Nov 1 22:51:31 CET 2011
Ending: Wed Nov 30 15:17:43 CET 2011
Messages: 59

• [isabelle-dev] AFP failure in Lam-ml-Normalization   Jasmin Blanchette
• [isabelle-dev] AFP failure in Lam-ml-Normalization   Jasmin Blanchette
• [isabelle-dev] AFP failure in Lam-ml-Normalization   Jasmin Christian Blanchette
• [isabelle-dev] HOL-Mutabelle broken   Lukas Bulwahn
• [isabelle-dev] Float   Lukas Bulwahn
• [isabelle-dev] AFP failure in Lam-ml-Normalization   Lukas Bulwahn
• [isabelle-dev] AFP failure in Lam-ml-Normalization   Lukas Bulwahn
• [isabelle-dev] Quotient example with partiality?   Lukas Bulwahn
• [isabelle-dev] Quotient example with partiality?   Lukas Bulwahn
• [isabelle-dev] Quotient example with partiality?   Lukas Bulwahn
• [isabelle-dev] Quickcheck_Exhaustive.unknown   Lukas Bulwahn
• [isabelle-dev] Float   Florian Haftmann
• [isabelle-dev] Float   Florian Haftmann
• [isabelle-dev] proposal for new numeral representation   Florian Haftmann
• [isabelle-dev] proposal for new numeral representation   Florian Haftmann
• [isabelle-dev] Quotient example with partiality?   Florian Haftmann
• [isabelle-dev] Update of jedit_build component   Florian Haftmann
• [isabelle-dev] exception TERM raised (line 141 of "Syntax/syntax_trans.ML"): abs_tr   Brian Huffman
• [isabelle-dev] NEWS: attributes   Brian Huffman
• [isabelle-dev] proposal for new numeral representation   Brian Huffman
• [isabelle-dev] Float   Johannes Hölzl
• [isabelle-dev] Float   Johannes Hölzl
• [isabelle-dev] Quotient example with partiality?   Cezary Kaliszyk
• [isabelle-dev] Float   Alexander Krauss
• [isabelle-dev] AFP failure in Lam-ml-Normalization   Alexander Krauss
• [isabelle-dev] compilation of IsarRef is broken   Ondřej Kunčar
• [isabelle-dev] Merge-Sort Implementation (and a question, on induction_schema)   Andreas Lochbihler
• [isabelle-dev] Merge-Sort Implementation (and a question, on induction_schema)   Andreas Lochbihler
• [isabelle-dev] exception TERM raised (line 141 of "Syntax/syntax_trans.ML"): abs_tr   Makarius
• [isabelle-dev] exception TERM raised (line 141 of "Syntax/syntax_trans.ML"): abs_tr   Makarius
• [isabelle-dev] HOL-Mutabelle broken   Makarius
• [isabelle-dev] NEWS: simultaneous sort constraints   Makarius
• [isabelle-dev] Attributes and local theories   Makarius
• [isabelle-dev] Float   Makarius
• [isabelle-dev] Attributes and local theories   Makarius
• [isabelle-dev] AFP failure in Lam-ml-Normalization   Makarius
• [isabelle-dev] AFP failure in Lam-ml-Normalization   Makarius
• [isabelle-dev] NEWS: attributes   Makarius
• [isabelle-dev] NEWS: attributes   Makarius
• [isabelle-dev] proposal for new numeral representation   Makarius
• [isabelle-dev] Quotient example with partiality?   Makarius
• [isabelle-dev] Quotient example with partiality?   Makarius
• [isabelle-dev] compilation of IsarRef is broken   Makarius
• [isabelle-dev] Update of jedit_build component   Makarius
• [isabelle-dev] Quotient example with partiality?   Makarius
• [isabelle-dev] Quotient example with partiality?   Makarius
• [isabelle-dev] Quickcheck_Exhaustive.unknown   Makarius
• [isabelle-dev] Quickcheck_Exhaustive.unknown   Makarius
• [isabelle-dev] Quotient example with partiality?   Makarius
• [isabelle-dev] Quickcheck_Exhaustive.unknown   Tobias Nipkow
• [isabelle-dev] Update of jedit_build component   Christian STERNAGEL
• [isabelle-dev] Update of jedit_build component   Christian STERNAGEL
• [isabelle-dev] Attributes and local theories   Andreas Schropp
• [isabelle-dev] Attributes and local theories   Andreas Schropp
• [isabelle-dev] Attributes and local theories   Andreas Schropp
• [isabelle-dev] Merge-Sort Implementation (and a question on induction_schema)   Christian Sternagel
• [isabelle-dev] Merge-Sort Implementation (and a question on induction_schema)   Christian Sternagel
• [isabelle-dev] Merge-Sort Implementation (and a question, on induction_schema)   Christian Sternagel
• [isabelle-dev] Merge-Sort Implementation (and a question on induction_schema)   Christian Urban

Last message date: Wed Nov 30 15:17:43 CET 2011
Archived on: Fri Apr 12 08:42:13 CEST 2019

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