@MISC{Paulson_apreliminary, author = {Lawrence C Paulson}, title = {A Preliminary User's Manual for Isabelle}, year = {}}

The theorem prover Isabelle and several of its object-logics are described. Where