[isabelle-dev] NEWS

Lawrence Paulson lp15 at cam.ac.uk
Tue Oct 10 15:04:56 CEST 2017

Previous message (by thread): [isabelle-dev] Allowed characters in theory names for document build
Next message (by thread): [isabelle-dev] AFP dependencies
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Session HOL-Analysis: Moebius functions and the Riemann mapping theorem.

Larry

Previous message (by thread): [isabelle-dev] Allowed characters in theory names for document build
Next message (by thread): [isabelle-dev] AFP dependencies
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list