fixed some issues with isabelle integration