Cross Reference: defaxioms.lisp.trans.ml
xref
: /
seL4-l4v-master
/
HOL4
/
examples
/
acl2
/
ml
/
defaxioms.lisp.trans.ml
Home
History
Annotate
Raw
Download
only in
/seL4-l4v-master/HOL4/examples/acl2/ml/
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).