Generic Automatic Proof Tools1

Lawrence C. Paulson
Computer Laboratory, University of Cambridge

May 1996

1This will be a chapter in the book Automated Reasoning and Its Applications, being edited by Robert Veroff and to be published by The MIT Press in 1997. Additional information may be obtained from http://www-mitpress.mit.edu/.