Searched defs:var2 (Results 1 - 3 of 3) sorted by last modified time

/seL4-l4v-master/HOL4/src/datatype/record/
H A DRecordType.sml426 val var2 = mk_var(app_letter typ ^ "2", typ) value
/seL4-l4v-master/HOL4/src/res_quan/src/
H A Dres_quanLib.sml146 val (var2,pred2,body2) = dest_res_forall conj2 value
/seL4-l4v-master/HOL4/examples/temporal_deep/src/tools/
H A DcongToolsLib.sml50 val var2 = mk_var ("x2", hol_type) value

Completed in 49 milliseconds