[isabelle-dev] NEWS

[Lawrence Paulson]

* 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