History log of /seL4-l4v-master/HOL4/src/metis/mlibTptp.sig
Revision Date Author Comments
# 9080911f 08-Jun-2004 Joe Hurd <joe@gilith.com>

New version of the tool suite to port HOL4 to MLton.