Mizar Light for HOL Light (2001)

by F Wiedijk
Venue:Proc. of the 14th International Conference on Theorem Proving in Higher Order Logics