Hooking up Isabelle and HipSpec