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

/seL4-l4v-master/HOL4/examples/lambda/basics/
H A Dnomdatatype.sml20 fun dc t = let function
/seL4-l4v-master/HOL4/src/tfl/src/
H A DInduction.sml550 val dc = MP Sinduct dant value
/seL4-l4v-master/HOL4/examples/l3-machine-code/common/
H A DstateLib.sml381 fun dc ty = sthy ^ "_d_" ^ data_constructor ty function

Completed in 55 milliseconds