A Reference Version of HOL

by John Harrison , Konrad Slind