An interpretation of isabelle/hol in hol light (0)

by S McLaughlin
Venue:In Furbach and Shankar [22