Searched defs:a2ml (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/HOL4/examples/acl2/lisp/
H A Da2ml.lisp245 (defmacro a2ml (infil function
[all...]
/seL4-l4v-master/HOL4/examples/acl2/examples/M1/
H A Dsexp.sml2114 val a2ml = ((!acl2_path) ^ "/lisp/a2ml.csh"); value
[all...]
/seL4-l4v-master/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/
H A Dsexp.sml2036 val a2ml = ((!acl2_path) ^ "/lisp/a2ml.csh"); value
[all...]
/seL4-l4v-master/HOL4/examples/acl2/ml/
H A Dsexp.sml2036 val a2ml = ((!acl2_path) ^ "/lisp/a2ml.csh"); value
[all...]

Completed in 53 milliseconds