A generic theorem proving environment developed at Cambridge University (Larry Paulson) and TU Munich (Tobias Nipkow). Includes logic, documentation and free download.
Authored by
at
, Added: Mar 8, 2004
http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
