July 2016 Archives by thread

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

Starting: Fri Jul 1 21:04:50 CEST 2016
Ending: Fri Jul 29 11:15:09 CEST 2016
Messages: 116

• [isabelle-dev] Scala implicits   Florian Haftmann
• [isabelle-dev] An experience report on the testboard   Florian Haftmann
  • [isabelle-dev] An experience report on the testboard   Lars Hupel
    • [isabelle-dev] An experience report on the testboard   Florian Haftmann
      • [isabelle-dev] An experience report on the testboard   Lars Hupel
      • [isabelle-dev] An experience report on the testboard   Gerwin Klein
      • [isabelle-dev] An experience report on the testboard   Lars Hupel
      • [isabelle-dev] An experience report on the testboard   Gerwin Klein
  • [isabelle-dev] An experience report on the testboard   Lars Hupel
    • [isabelle-dev] An experience report on the testboard   Florian Haftmann
      • [isabelle-dev] An experience report on the testboard   Lars Hupel
      • [isabelle-dev] An experience report on the testboard   Florian Haftmann
      • [isabelle-dev] An experience report on the testboard   Lars Hupel
• [isabelle-dev] {0::nat..<n} = {..<n}   Florian Haftmann
  • [isabelle-dev] {0::nat..<n} = {..<n}   Tobias Nipkow
    • [isabelle-dev] {0::nat..<n} = {..<n}   Florian Haftmann
      • [isabelle-dev] {0::nat..<n} = {..<n}   Tobias Nipkow
      • [isabelle-dev] {0::nat..<n} = {..<n}   Andreas Röhler
      • [isabelle-dev] {0::nat..<n} = {..<n}   Florian Haftmann
      • [isabelle-dev] {0::nat..<n} = {..<n}   Florian Haftmann
• [isabelle-dev] Considered harmful: surj   Florian Haftmann
  • [isabelle-dev] Considered harmful: surj   Johannes Hölzl
    • [isabelle-dev] Considered harmful: surj   Florian Haftmann
• [isabelle-dev] Simplification theorems with more general typeclasses   Johannes Hölzl
  • [isabelle-dev] Simplification theorems with more general typeclasses   Mathias Fleury
    • [isabelle-dev] Simplification theorems with more general typeclasses   Mathias Fleury
      • [isabelle-dev] Simplification theorems with more general typeclasses   Mathias Fleury
• [isabelle-dev] Bijections   Florian Haftmann
  • [isabelle-dev] Bijections   Johannes Hölzl
• [isabelle-dev] Permutations   Florian Haftmann
  • [isabelle-dev] Permutations   Johannes Hölzl
    • [isabelle-dev] Permutations   Florian Haftmann
      • [isabelle-dev] Permutations   Johannes Hölzl
      • [isabelle-dev] Permutations   Florian Haftmann
      • [isabelle-dev] Permutations   Johannes Hölzl
• [isabelle-dev] NEWS: literal facts   Makarius
• [isabelle-dev] NEWS: "blast" is more robust   Makarius
• [isabelle-dev] NEWS   Tobias Nipkow
• [isabelle-dev] Build NEWS   Lars Hupel
  • [isabelle-dev] Build NEWS   Johannes Hölzl
    • [isabelle-dev] Build NEWS   Gerwin Klein
      • [isabelle-dev] Build NEWS   Andreas Lochbihler
      • [isabelle-dev] Build NEWS   Lars Hupel
  • [isabelle-dev] Build NEWS   Lars Hupel
• [isabelle-dev] NEWS: Indentation according to Isabelle outer syntax   Makarius
  • [isabelle-dev] NEWS: Indentation according to Isabelle outer syntax   Makarius
    • [isabelle-dev] NEWS: Indentation according to Isabelle outer syntax   Makarius
      • [isabelle-dev] NEWS: Indentation according to Isabelle outer syntax   Makarius
• [isabelle-dev] NEWS: refined folding mode "isabelle"   Makarius
• [isabelle-dev] Use HTTPS for components   Lars Hupel
  • [isabelle-dev] Use HTTPS for components   Gerwin Klein
    • [isabelle-dev] Use HTTPS for components   Lawrence Paulson
      • [isabelle-dev] Use HTTPS for components   Makarius
  • [isabelle-dev] Use HTTPS for components   Makarius
    • [isabelle-dev] Use HTTPS for components   Makarius
• [isabelle-dev] \nexists   Lawrence Paulson
  • [isabelle-dev] \nexists   Makarius
    • [isabelle-dev] \nexists   Johannes Hölzl
  • [isabelle-dev] \nexists   Tobias Nipkow
    • [isabelle-dev] \nexists   Johannes Hölzl
      • [isabelle-dev] \nexists   Makarius
      • [isabelle-dev] \nexists   Lars Hupel
      • [isabelle-dev] \nexists   Makarius
      • [isabelle-dev] \nexists   Lars Hupel
      • [isabelle-dev] \nexists   Makarius
      • [isabelle-dev] \nexists   Tobias Nipkow
      • [isabelle-dev] \nexists   Makarius
      • [isabelle-dev] \nexists   Joachim Breitner
      • [isabelle-dev] \nexists   Lars Hupel
      • [isabelle-dev] \nexists   Lars Hupel
      • [isabelle-dev] \nexists   Tobias Nipkow
      • [isabelle-dev] \nexists   Makarius
      • [isabelle-dev] \nexists   Lars Hupel
      • [isabelle-dev] \nexists   Makarius
      • [isabelle-dev] \nexists   Lars Hupel
      • [isabelle-dev] \nexists   Joachim Breitner
      • [isabelle-dev] \nexists   Makarius
      • [isabelle-dev] \nexists   Makarius
      • [isabelle-dev] \nexists   Lars Hupel
      • [isabelle-dev] \nexists   Makarius
      • [isabelle-dev] \nexists   Makarius
    • [isabelle-dev] \nexists   Lars Hupel
• [isabelle-dev] NEWS: proof outline with cases   Makarius
• [isabelle-dev] Broken AFP   Manuel Eberl
• [isabelle-dev] Jenkins SPAM reduction   Makarius
  • [isabelle-dev] Jenkins SPAM reduction   Lars Hupel
• [isabelle-dev] multiplicity and prime numbers   Manuel Eberl
  • [isabelle-dev] multiplicity and prime numbers   Tobias Nipkow
    • [isabelle-dev] multiplicity and prime numbers   Manuel Eberl
      • [isabelle-dev] multiplicity and prime numbers   Mario Carneiro
      • [isabelle-dev] multiplicity and prime numbers   Lawrence Paulson
  • [isabelle-dev] multiplicity and prime numbers   Lawrence Paulson
    • [isabelle-dev] multiplicity and prime numbers   Johannes Hölzl
      • [isabelle-dev] multiplicity and prime numbers   Manuel Eberl
• [isabelle-dev] NEWS: Proof method "use" in Pure   Makarius
• [isabelle-dev] NEWS: Proof methods "simp" and "simp_all" in Pure   Makarius
• [isabelle-dev] NEWS:   Makarius
  • [isabelle-dev] NEWS: Primes   Manuel Eberl
    • [isabelle-dev] NEWS: Primes   Tobias Nipkow
      • [isabelle-dev] NEWS: Primes   Manuel Eberl
• [isabelle-dev] PLATFORMS: Linux base-line is Ubuntu 12.04 LTS   Makarius
• [isabelle-dev] Multiset insert   Mathias Fleury
  • [isabelle-dev] Multiset insert   Tobias Nipkow
    • [isabelle-dev] Multiset insert   Mathias Fleury
    • [isabelle-dev] Multiset insert   Jasmin Blanchette
      • [isabelle-dev] Multiset insert   Tobias Nipkow
      • [isabelle-dev] Multiset insert   Jasmin Blanchette
      • [isabelle-dev] Multiset insert   Peter Lammich
      • [isabelle-dev] Multiset insert   Jasmin Blanchette
      • [isabelle-dev] Multiset insert   Tobias Nipkow
      • [isabelle-dev] Multiset insert   Florian Haftmann
      • [isabelle-dev] Multiset insert   Florian Haftmann
      • [isabelle-dev] Multiset insert   Manuel Eberl
      • [isabelle-dev] Multiset insert   Jasmin Blanchette
• [isabelle-dev] jdk-8u102   Makarius
  • [isabelle-dev] jdk-8u102   Makarius

Last message date: Fri Jul 29 11:15:09 CEST 2016
Archived on: Fri Apr 12 08:42:24 CEST 2019

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