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

/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DThm.sig108 val assume : Literal.literal -> thm value
H A DThm.sml138 fun assume lit = function
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DThm.sig108 val assume : Literal.literal -> thm value
H A DThm.sml138 fun assume lit = function

Completed in 95 milliseconds