Searched defs:CONS (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/gold/
H A Dencap1.lisp
H A Dcircuits.lisp
H A Dsummary.lisp[all...]
/seL4-l4v-10.1.1/HOL4/src/list/src/
H A DListConv1.sml583 and CONS = Term`CONS:^(ty_antiq ety)-> ^(ty_antiq ty)->^(ty_antiq ty)` value
H A DlistScript.sml403 val CONS = store_thm ("CONS", value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/round-trip/gold/
H A Daxioms.lisp[all...]

Completed in 126 milliseconds