History log of /seL4-l4v-master/HOL4/examples/acl2/ml/poly.ml
Revision Date Author Comments
# 85eb08ce 11-Nov-2010 James Reynolds <jr291@cam.ac.uk>

poly.ml header file for making defaxiomsTheory using PolyML