ProofPower and its use at X-Logic.org
Overview
ProofPower and its logic
ZFC in HOL
GST in HOL
ProofPower theory listings
X-Logic sml xtras