History log of /seL4-l4v-master/HOL4/examples/acl2/ml/defaxioms.lisp.trans.ml
Revision Date Author Comments
# 7c02fa5c 04-Jul-2006 Mike Gordon <mjcg@cl.cam.ac.uk>

Adding defaxioms.lisp.trans.ml to acl2/ml
(it used to be in acl2/lisp).