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

/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DFinalThm-sig.sml62 val SPEC : term -> thm -> thm value
/seL4-l4v-10.1.1/HOL4/src/q/
H A DQ.sig23 val SPEC : tmquote -> thm -> thm value
H A DQ.sml81 fun SPEC q = function
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/round-trip/gold/
H A Daxioms.lisp

Completed in 104 milliseconds