HOL-Light

HOL Light <=> MMT/OMDoc import / export