Searched defs:concl (Results 1 - 8 of 8) sorted by path

/seL4-l4v-10.1.1/HOL4/examples/CCS/
H A DCCSConv.sml61 val concl = (rconcl thm) handle HOL_ERR _ => ``F`` value
76 val concl = (rconcl thm) handle HOL_ERR _ => ``F`` value
/seL4-l4v-10.1.1/HOL4/src/1/
H A Dselftest.sml235 val concl = value
[all...]
/seL4-l4v-10.1.1/HOL4/src/HolQbf/
H A DQbfLibrary.sml71 val concl = Thm.concl thm value
/seL4-l4v-10.1.1/HOL4/src/HolSmt/
H A DZ3_ProofReplay.sml615 val concl = Thm.concl th value
[all...]
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibSolver.sml81 fun concl [] = False function
/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DFinalThm-sig.sml17 val concl : thm -> term value
/seL4-l4v-10.1.1/HOL4/src/simp/src/
H A DTrace.sml7 val concl = Thm.concl value
H A DcongLib.sml139 val concl = rand (rator (concl thm)); value

Completed in 106 milliseconds