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

/seL4-l4v-master/HOL4/src/finite_maps/
H A DenumTacs.sml712 val fake = ASSUME ``OWL numto {5; 4; 3} [3; 4; 5]``; value

Completed in 31 milliseconds