August 2016 Archives by date

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

Starting: Mon Aug 1 16:38:01 CEST 2016
Ending: Wed Aug 31 15:28:27 CEST 2016
Messages: 35

• [isabelle-dev] Multiset insert   Bertram Felgenhauer
• [isabelle-dev] Multiset insert   Jasmin Blanchette
• [isabelle-dev] NEWS: abbrevs within theory header   Makarius
• [isabelle-dev] NEWS: more PIDE structure parsing   Makarius
• [isabelle-dev] comm_monoid, comm_monoid_set in bbcb05504fdc   Florian Haftmann
• [isabelle-dev] NEWS: proof outline with cases   Andreas Lochbihler
• [isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle   Lars Hupel
• [isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle   Makarius
• [isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle   Manuel Eberl
• [isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle   Tobias Nipkow
• [isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle   Lars Hupel
• [isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle   Makarius
• [isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle   Makarius
• [isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle   Lars Hupel
• [isabelle-dev] [isabelle] Proposal: An update to Multiset theory   Bertram Felgenhauer
• [isabelle-dev] NEWS: Rename HOL-Multivariate_Analysis to HOL-Analysis and move measure theory from HOL-Probability to HOL-Analysis   Johannes Hölzl
• [isabelle-dev] NEWS: Rename HOL-Multivariate_Analysis to HOL-Analysis and move measure theory from HOL-Probability to HOL-Analysis   Lawrence Paulson
• [isabelle-dev] NEWS: Rename HOL-Multivariate_Analysis to HOL-Analysis and move measure theory from HOL-Probability to HOL-Analysis   Johannes Hölzl
• [isabelle-dev] NEWS: Rename HOL-Multivariate_Analysis to HOL-Analysis and move measure theory from HOL-Probability to HOL-Analysis   Andreas Lochbihler
• [isabelle-dev] NEWS: Rename HOL-Multivariate_Analysis to HOL-Analysis and move measure theory from HOL-Probability to HOL-Analysis   Makarius
• [isabelle-dev] NEWS: proof outline with cases   Makarius
• [isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle   Makarius
• [isabelle-dev] Build statistics   Lars Hupel
• [isabelle-dev] NEWS: split!   Tobias Nipkow
• [isabelle-dev] [isabelle] Proposal: An update to Multiset theory   Florian Haftmann
• [isabelle-dev] comm_monoid, comm_monoid_set in bbcb05504fdc   Florian Haftmann
• [isabelle-dev] Theory for discrete log etc.   Florian Haftmann
• [isabelle-dev] Theory for discrete log etc.   Manuel Eberl
• [isabelle-dev] Isabelle_15-Aug-2016   Makarius
• [isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle   Makarius
• [isabelle-dev] Z3_Proof_Reconstruction   Johannes Gareis
• [isabelle-dev] Z3_Proof_Reconstruction   boehmes at in.tum.de
• [isabelle-dev] Z3_Proof_Reconstruction   boehmes at in.tum.de
• [isabelle-dev] Problem with thm and meta-hypothesis   Burkhart Wolff
• [isabelle-dev] Problem with thm and meta-hypothesis   Makarius

Last message date: Wed Aug 31 15:28:27 CEST 2016
Archived on: Fri Apr 12 08:42:24 CEST 2019

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