Importing HOL into Isabelle/HOL (0)

by Steven Obua, Sebastian Skalberg
Venue:In Ulrich Furbach and Natarajan Shankar, editors, Automated Reasoning