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

/seL4-l4v-10.1.1/HOL4/src/boss/
H A Dlcsymtacs.sig91 val lfs : thm list -> tactic value
H A DbossLib.sig144 val lfs : thm list -> tactic value
H A DbossLib.sml195 val lfs = fsrw_tac let_arith_list value
/seL4-l4v-10.1.1/HOL4/src/tfl/src/
H A DDefn.sml1719 val lfs = op_U eq (map ptfvs args) value

Completed in 104 milliseconds