History log of /seL4-l4v-10.1.1/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/make_hol_acl2_defaxioms.ml
Revision Date Author Comments
# c5173acb 19-Aug-2009 Mike Gordon <mjcg@cl.cam.ac.uk>

Added a tool for checking hol_defaxiomsTheory matches corresponding ACL2.
(Not sure what has chaged in LTLScript.sml!)