History log of /seL4-l4v-master/HOL4/src/metis/mlibTptp.sml
Revision Date Author Comments
# e6f1d9ff 15-Jan-2005 Joe Hurd <joe@gilith.com>

Improvements to Metis made while investigating bad performance reported
by Anthony, Juliano and Mike.
# 9080911f 08-Jun-2004 Joe Hurd <joe@gilith.com>

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