Importing HOL into Isabelle/HOL (2006)

by Steven Obua, Sebastian Skalberg
Venue:Automated Reasoning, Third International Joint Conference (IJCAR 2006), volume 4130 of Lecture Notes in Computer Science