Mizar Light for HOL Light (2001)

by Freek Wiedijk
Venue:In Theorem Proving in Higher Order Logics (TPHOLs), volume 2152 of LNCS