Searched defs:Result (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/metis/
H A DfolMapping.sig36 type Result = vars * thm list type
H A DfolTools.sig54 type Result = vars * thm list type
H A DmetisTools.sig23 type Result = folTools.Result type
H A DfolTools.sml460 type Result = vars * thm list; type
H A DfolMapping.sml696 type Result = vars * thm list; type

Completed in 38 milliseconds