Isabelle. See also the Cambridge Automated Reasoning Group and FTP access including an index. Email Larry.Paulson-request@cl.cam.ac.uk for information, including requests concerning the isabelle-users@cl.cam.ac.uk mailing list.