A Mizar Mode for HOL, Proceedings, of Theorem Proving in Higher Order Logics (1996)

by J Harrison
Venue:Lecture Notes in Computer Science 1125