Searched defs:ORACLE (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/HOL4/examples/elliptic/
H A DsubtypeTools.sig44 val ORACLE : bool ref (* Use an oracle to solve subtype constraints *) value
H A DsubtypeTools.sml266 val ORACLE = ref false; value
/seL4-l4v-master/HOL4/examples/acl2/tests/round-trip/gold/
H A Daxioms.lisp[all...]

Completed in 27 milliseconds