Florian, > facilitated by theorems "strict_mono_eq", "strict_mono_eq" and > "strict_mono_eq".
What is the difference between these? :) Amine.
- [isabelle-dev] NEWS Tobias Nipkow
- [isabelle-dev] Factorials and binomial coefficients Amine Chaieb
- [isabelle-dev] Factorials and binomial coefficie... Tobias Nipkow
- [isabelle-dev] Factorials and binomial coefficie... Lawrence Paulson
- [isabelle-dev] Factorials and binomial coefficie... Florian Haftmann
- [isabelle-dev] Factorials and binomial coeff... Amine Chaieb
- [isabelle-dev] Factorials and binomial c... Florian Haftmann
- [isabelle-dev] NEWS Johannes Hoelzl
- [isabelle-dev] NEWS Tobias Nipkow
- [isabelle-dev] NEWS Florian Haftmann
- [isabelle-dev] NEWS Amine Chaieb
- [isabelle-dev] NEWS Florian Haftmann
- [isabelle-dev] NEWS Makarius
- [isabelle-dev] NEWS Makarius
- [isabelle-dev] NEWS Florian Haftmann
- [isabelle-dev] NEWS Florian Haftmann
- [isabelle-dev] NEWS Tobias Nipkow
- [isabelle-dev] NEWS Florian Haftmann
- [isabelle-dev] NEWS Johannes Hölzl
- [isabelle-dev] NEWS Tobias Nipkow
- [isabelle-dev] NEWS Tobias Nipkow
