Isabell/HOL A proof Assistant for Higher Order Logic, LNCS 2283 (2002)

by T Nipkow, L C Paulson, M Wenzel
Venue:Lecture Notes in Computer Science