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

/seL4-l4v-master/HOL4/examples/acl2/ml/
H A DfunctionEncodeLib.sml208 val stripped = if recrewrites = T then [] else strip_conj recrewrites value
1639 let val stripped = map (lhs o snd o strip_forall o concl) clauses value

Completed in 94 milliseconds