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

/seL4-l4v-10.1.1/HOL4/src/HolSat/
H A DsatTools.sml118 val subl = map (fn th => lhs(concl th) |-> th) thl (*[l1 |-> l1 /\ ... /\ ln |- l1 = T,...]*) value
/seL4-l4v-10.1.1/HOL4/src/tactictoe/src/
H A DtttSynt.sml556 let val subl = create_sub iceptdict patceptdict in value
/seL4-l4v-10.1.1/HOL4/src/coretypes/
H A DPairRules.sml1584 val subl = variantl avoid originals value
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/
H A DlzPairRules.sml1607 val subl = variantl avoid originals value

Completed in 66 milliseconds