Subject: Isabelle Users List

Description: This list allows users of Isabelle, a proof tool, to discuss problems, solutions and results. It also carries a small number of related conference and job announcements.

For Isabelle, see http://www.cl.cam.ac.uk/Research/HVG/Isabelle/