Isabelle

Libraries of the Isabelle proof assistant in OMDoc/MMT representation.