re-fixed isaplib in isabelle