Cross Reference: /seL4-l4v-10.1.1/HOL4/examples/acl2/tests/round-trip/gold/axioms.sml

Cross Reference: axioms.sml

xref: /seL4-l4v-10.1.1/HOL4/examples/acl2/tests/round-trip/gold/axioms.sml

Home
History
Annotate
Raw
Download
only in /seL4-l4v-10.1.1/HOL4/examples/acl2/tests/round-trip/gold/

Lines Matching refs:FRESH

3213 "COMMON-LISP" "FRESH-LINE") (mkpair (mksym "COMMON-LISP" "IF") (mkpair (mksym

Indexes created Tue Sep 03 12:52:19 MDT 2024