Fixed references to the isabelle scala pure api from mixr.