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

/seL4-l4v-master/HOL4/examples/CCS/
H A DStrongLawsConv.sml299 val c5 = TRANS c4 (REWRITE_CONV [LABEL_def, COMPL_LAB_def, Action_distinct_label, value
/seL4-l4v-master/HOL4/tools/Holmake/
H A DFunctionalRecordUpdate.sml36 fun c5 from = c4 (from f5) function
/seL4-l4v-master/HOL4/src/bool/
H A DboolScript.sml3837 val c5 = DISJ2 ���f = ^KF��� c4 value

Completed in 54 milliseconds