isabelle-dev
Thread
Date
Earlier messages
Later messages
Messages by Thread
[isabelle-dev] multiplicity and prime numbers
Manuel Eberl
Re: [isabelle-dev] multiplicity and prime numbers
Tobias Nipkow
Re: [isabelle-dev] multiplicity and prime numbers
Manuel Eberl
Re: [isabelle-dev] multiplicity and prime numbers
Mario Carneiro
Re: [isabelle-dev] multiplicity and prime numbers
Lawrence Paulson
Re: [isabelle-dev] multiplicity and prime numbers
Lawrence Paulson
Re: [isabelle-dev] multiplicity and prime numbers
Johannes Hölzl
Re: [isabelle-dev] multiplicity and prime numbers
Manuel Eberl
[isabelle-dev] Jenkins SPAM reduction
Makarius
Re: [isabelle-dev] Jenkins SPAM reduction
Lars Hupel
[isabelle-dev] Broken AFP
Manuel Eberl
[isabelle-dev] NEWS: proof outline with cases
Makarius
Re: [isabelle-dev] NEWS: proof outline with cases
Andreas Lochbihler
Re: [isabelle-dev] NEWS: proof outline with cases
Makarius
[isabelle-dev] \nexists
Lawrence Paulson
Re: [isabelle-dev] \nexists
Makarius
Re: [isabelle-dev] \nexists
Johannes Hölzl
Re: [isabelle-dev] \nexists
Tobias Nipkow
Re: [isabelle-dev] \nexists
Johannes Hölzl
Re: [isabelle-dev] \nexists
Makarius
Re: [isabelle-dev] \nexists
Lars Hupel
Re: [isabelle-dev] \nexists
Makarius
Re: [isabelle-dev] \nexists
Lars Hupel
Re: [isabelle-dev] \nexists
Makarius
Re: [isabelle-dev] \nexists
Tobias Nipkow
Re: [isabelle-dev] \nexists
Makarius
Re: [isabelle-dev] \nexists
Joachim Breitner
Re: [isabelle-dev] \nexists
Lars Hupel
Re: [isabelle-dev] \nexists
Lars Hupel
Re: [isabelle-dev] \nexists
Tobias Nipkow
Re: [isabelle-dev] \nexists
Makarius
Re: [isabelle-dev] \nexists
Lars Hupel
Re: [isabelle-dev] \nexists
Makarius
Re: [isabelle-dev] \nexists
Lars Hupel
Re: [isabelle-dev] \nexists
Joachim Breitner
Re: [isabelle-dev] \nexists
Makarius
Re: [isabelle-dev] \nexists
Makarius
Re: [isabelle-dev] \nexists
Lars Hupel
Re: [isabelle-dev] \nexists
Makarius
Re: [isabelle-dev] \nexists
Makarius
Re: [isabelle-dev] \nexists
Lars Hupel
[isabelle-dev] Use HTTPS for components
Lars Hupel
Re: [isabelle-dev] Use HTTPS for components
Gerwin Klein
Re: [isabelle-dev] Use HTTPS for components
Lawrence Paulson
Re: [isabelle-dev] Use HTTPS for components
Makarius
Re: [isabelle-dev] Use HTTPS for components
Makarius
Re: [isabelle-dev] Use HTTPS for components
Makarius
[isabelle-dev] NEWS: refined folding mode "isabelle"
Makarius
[isabelle-dev] NEWS: Indentation according to Isabelle outer syntax
Makarius
Re: [isabelle-dev] NEWS: Indentation according to Isabelle outer syntax
Makarius
Re: [isabelle-dev] NEWS: Indentation according to Isabelle outer syntax
Makarius
Re: [isabelle-dev] NEWS: Indentation according to Isabelle outer syntax
Makarius
[isabelle-dev] NEWS: "blast" is more robust
Makarius
[isabelle-dev] NEWS: literal facts
Makarius
[isabelle-dev] Permutations
Florian Haftmann
Re: [isabelle-dev] Permutations
Johannes Hölzl
Re: [isabelle-dev] Permutations
Florian Haftmann
Re: [isabelle-dev] Permutations
Johannes Hölzl
Re: [isabelle-dev] Permutations
Florian Haftmann
Re: [isabelle-dev] Permutations
Johannes Hölzl
[isabelle-dev] Bijections
Florian Haftmann
Re: [isabelle-dev] Bijections
Johannes Hölzl
[isabelle-dev] Considered harmful: surj
Florian Haftmann
Re: [isabelle-dev] Considered harmful: surj
Johannes Hölzl
Re: [isabelle-dev] Considered harmful: surj
Florian Haftmann
[isabelle-dev] {0::nat..<n} = {..<n}
Florian Haftmann
Re: [isabelle-dev] {0::nat..<n} = {..<n}
Tobias Nipkow
Re: [isabelle-dev] {0::nat..<n} = {..<n}
Florian Haftmann
Re: [isabelle-dev] {0::nat..<n} = {..<n}
Tobias Nipkow
Re: [isabelle-dev] {0::nat..<n} = {..<n}
Andreas Röhler
Re: [isabelle-dev] {0::nat..<n} = {..<n}
Florian Haftmann
Re: [isabelle-dev] {0::nat..<n} = {..<n}
Florian Haftmann
[isabelle-dev] An experience report on the testboard
Florian Haftmann
Re: [isabelle-dev] An experience report on the testboard
Lars Hupel
Re: [isabelle-dev] An experience report on the testboard
Florian Haftmann
Re: [isabelle-dev] An experience report on the testboard
Lars Hupel
Re: [isabelle-dev] An experience report on the testboard
Gerwin Klein
Re: [isabelle-dev] An experience report on the testboard
Lars Hupel
Re: [isabelle-dev] An experience report on the testboard
Gerwin Klein
Re: [isabelle-dev] An experience report on the testboard
Lars Hupel
Re: [isabelle-dev] An experience report on the testboard
Florian Haftmann
Re: [isabelle-dev] An experience report on the testboard
Lars Hupel
Re: [isabelle-dev] An experience report on the testboard
Florian Haftmann
Re: [isabelle-dev] An experience report on the testboard
Lars Hupel
[isabelle-dev] Simplification theorems with more general typeclasses
Mathias Fleury
Re: [isabelle-dev] Simplification theorems with more general typeclasses
Johannes Hölzl
Re: [isabelle-dev] Simplification theorems with more general typeclasses
Mathias Fleury
Re: [isabelle-dev] Simplification theorems with more general typeclasses
Mathias Fleury
Re: [isabelle-dev] Simplification theorems with more general typeclasses
Mathias Fleury
[isabelle-dev] AFP config files?
Florian Haftmann
Re: [isabelle-dev] AFP config files?
Manuel Eberl
Re: [isabelle-dev] AFP config files?
Lars Hupel
Re: [isabelle-dev] AFP config files?
Gerwin Klein
[isabelle-dev] Scala implicits
Florian Haftmann
Re: [isabelle-dev] Scala implicits
Manuel Eberl
Re: [isabelle-dev] Scala implicits
Manuel Eberl
Re: [isabelle-dev] Scala implicits
Manuel Eberl
Re: [isabelle-dev] Scala implicits
Florian Haftmann
Re: [isabelle-dev] Scala implicits
Florian Haftmann
[isabelle-dev] Acces to internal interfaces ...
Burkhart Wolff
Re: [isabelle-dev] Acces to internal interfaces ...
Makarius
Re: [isabelle-dev] Acces to internal interfaces ...
Jasmin Blanchette
[isabelle-dev] Jenkins maintenance
Lars Hupel
Re: [isabelle-dev] Jenkins maintenance
Lars Hupel
[isabelle-dev] Jenkins maintenance
Lars Hupel
Re: [isabelle-dev] Jenkins maintenance
Lars Hupel
Re: [isabelle-dev] Jenkins maintenance
Lars Hupel
Re: [isabelle-dev] Jenkins maintenance
Makarius
Re: [isabelle-dev] Jenkins maintenance
Lars Hupel
Re: [isabelle-dev] Jenkins maintenance
Makarius
Re: [isabelle-dev] Jenkins maintenance
Lars Hupel
Re: [isabelle-dev] Jenkins maintenance
Florian Haftmann
Re: [isabelle-dev] Jenkins maintenance
Makarius
Re: [isabelle-dev] Jenkins maintenance
Makarius
Re: [isabelle-dev] Jenkins maintenance
Makarius
Re: [isabelle-dev] Jenkins maintenance
Makarius
Re: [isabelle-dev] Jenkins maintenance
Florian Haftmann
Re: [isabelle-dev] Jenkins maintenance
Makarius
Re: [isabelle-dev] Jenkins maintenance
Lars Hupel
Re: [isabelle-dev] Jenkins maintenance
Manuel Eberl
Re: [isabelle-dev] Jenkins maintenance
Lawrence Paulson
Re: [isabelle-dev] Jenkins maintenance
Manuel Eberl
Re: [isabelle-dev] Jenkins maintenance
Makarius
Re: [isabelle-dev] Jenkins maintenance
Lars Hupel
Re: [isabelle-dev] Jenkins maintenance
Lawrence Paulson
Re: [isabelle-dev] Jenkins maintenance
Makarius
Re: [isabelle-dev] Jenkins maintenance
Lars Hupel
Re: [isabelle-dev] Jenkins maintenance
Makarius
Re: [isabelle-dev] Jenkins maintenance
Lawrence Paulson
Re: [isabelle-dev] Jenkins maintenance
Makarius
Re: [isabelle-dev] Jenkins maintenance
Makarius
Re: [isabelle-dev] Jenkins maintenance
Lars Hupel
Re: [isabelle-dev] Jenkins maintenance
Makarius
Re: [isabelle-dev] Jenkins maintenance
Tobias Nipkow
Re: [isabelle-dev] Jenkins maintenance
Makarius
Re: [isabelle-dev] Jenkins maintenance
Tobias Nipkow
Re: [isabelle-dev] Jenkins maintenance
Makarius
Re: [isabelle-dev] Jenkins maintenance
Tobias Nipkow
Re: [isabelle-dev] Jenkins maintenance
Makarius
Re: [isabelle-dev] Jenkins maintenance
Lars Hupel
Re: [isabelle-dev] Jenkins maintenance
Lawrence Paulson
Re: [isabelle-dev] Jenkins maintenance
Makarius
[isabelle-dev] Jenkins maintenance
Lars Hupel
[isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle
Lawrence Paulson
Re: [isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle
Manuel Eberl
Re: [isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle
Lawrence Paulson
Re: [isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle
Manuel Eberl
Re: [isabelle-dev] [Isabelle-ci] Build failure in Isabelle
Lawrence Paulson
Re: [isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle
Makarius
Re: [isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle
Manuel Eberl
Re: [isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle
Tobias Nipkow
Re: [isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle
Makarius
Re: [isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle
Lars Hupel
Re: [isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle
Makarius
Re: [isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle
Lars Hupel
Re: [isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle
Makarius
Re: [isabelle-dev] Build statistics
Lars Hupel
Re: [isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle
Makarius
[isabelle-dev] NEWS: bundle target and unbundle command
Makarius
[isabelle-dev] NEWS: method facts
Makarius
Re: [isabelle-dev] NEWS: method facts
Joachim Breitner
Re: [isabelle-dev] NEWS: method facts
Makarius
Re: [isabelle-dev] NEWS: method facts
Joachim Breitner
Re: [isabelle-dev] NEWS: method facts
Makarius
[isabelle-dev] NEWS: isabelle.select-entity
Makarius
[isabelle-dev] NEWS: clarified Integer.gcd and Integer.lcm
Makarius
[isabelle-dev] PolyML bundle build steps
Matthew Fernandez
Re: [isabelle-dev] PolyML bundle build steps
Makarius
[isabelle-dev] how to guess the surface operation of 3 valued logic?
Ho Yeung Lee
[isabelle-dev] Isabelle_01-Jun-2016 snapshot
Makarius
[isabelle-dev] NEWS: Rat in Isabelle/ML
Makarius
Re: [isabelle-dev] NEWS: Rat in Isabelle/ML
Florian Haftmann
Re: [isabelle-dev] NEWS: Rat in Isabelle/ML
Makarius
Re: [isabelle-dev] NEWS: Rat in Isabelle/ML
Makarius
Re: [isabelle-dev] NEWS: Rat in Isabelle/ML
Manuel Eberl
[isabelle-dev] jdk-8u92
Makarius
[isabelle-dev] Proper sign of gcd / lcm on type int
Makarius
Re: [isabelle-dev] Proper sign of gcd / lcm on type int
Florian Haftmann
Re: [isabelle-dev] Proper sign of gcd / lcm on type int
Makarius
Re: [isabelle-dev] Proper sign of gcd / lcm on type int
Florian Haftmann
Re: [isabelle-dev] Proper sign of gcd / lcm on type int
Manuel Eberl
Re: [isabelle-dev] Proper sign of gcd / lcm on type int
Amine Chaieb
Re: [isabelle-dev] Proper sign of gcd / lcm on type int
David Matthews
Re: [isabelle-dev] Proper sign of gcd / lcm on type int
Makarius
Re: [isabelle-dev] Proper sign of gcd / lcm on type int
Pierpaolo Bernardi
[isabelle-dev] problem with Nominal in the AFP
Lawrence Paulson
Re: [isabelle-dev] problem with Nominal in the AFP
Lars Hupel
Re: [isabelle-dev] problem with Nominal in the AFP
Makarius
Re: [isabelle-dev] problem with Nominal in the AFP
Lars Hupel
[isabelle-dev] AFP/MFMC_Countable still failing
Makarius
Re: [isabelle-dev] AFP/MFMC_Countable still failing
Johannes Hölzl
[isabelle-dev] Whole word search
Lawrence Paulson
Re: [isabelle-dev] Whole word search
Makarius
Re: [isabelle-dev] Whole word search
Makarius
Re: [isabelle-dev] Whole word search
Lawrence Paulson
Re: [isabelle-dev] Whole word search
Makarius
Re: [isabelle-dev] Whole word search
Fabian Immler
Re: [isabelle-dev] Whole word search
Makarius
[isabelle-dev] Repaired Card_Equiv_Relations
Lars Hupel
[isabelle-dev] NEWS: theorem eigen context
Makarius
Earlier messages
Later messages