* Session HOL-Analysis: more material involving arcs, paths, covering spaces, innessential maps, retracts. Major results include the Jordan Curve Theorem. _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
- Re: [isabelle-dev] Some thoug... Makarius
- Re: [isabelle-dev] Some thoug... Michael Norrish
- Re: [isabelle-dev] Some thoug... Tobias Nipkow
- [isabelle-dev] NEWS Ondřej Kunčar
- Re: [isabelle-dev] NEWS Andreas Lochbihler
- [isabelle-dev] NEWS Lawrence Paulson
- Re: [isabelle-dev] NEWS Makarius
- [isabelle-dev] NEWS Florian Haftmann
- [isabelle-dev] NEWS Florian Haftmann
- [isabelle-dev] NEWS Tobias Nipkow
- [isabelle-dev] NEWS Lawrence Paulson
- [isabelle-dev] NEWS Lawrence Paulson
- [isabelle-dev] NEWS Florian Haftmann
- Re: [isabelle-dev] NEWS Lars Hupel
- Re: [isabelle-dev] NEWS Florian Haftmann
- Re: [isabelle-dev] NEWS Lars Hupel
- Re: [isabelle-dev] NEWS Makarius
- Re: [isabelle-dev] NEWS Makarius