Searched defs:proof (Results 1 - 25 of 35) sorted by last modified time

12

/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A Dmetis.sml220 val proof = value
H A DTptp.sml2268 val proof = Proof.proof refutation value
[all...]
H A DProof.sml23 type proof = (Thm.thm * inference) list; type
401 fun proof th = function
H A DProof.sig21 type proof = (Thm.thm * inference) list type
39 val proof : Thm.thm -> proof value
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A Dmetis.sml220 val proof = value
H A DTptp.sml2268 val proof = Proof.proof refutation value
[all...]
H A DProof.sml23 type proof = (Thm.thm * inference) list; type
401 fun proof th = function
H A DProof.sig21 type proof = (Thm.thm * inference) list type
39 val proof : Thm.thm -> proof value
/seL4-l4v-10.1.1/isabelle/src/Doc/Logics_ZF/document/
H A DZF.tex[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Logics_ZF/document/
H A DZF.tex[all...]
/seL4-l4v-10.1.1/isabelle/src/Doc/Intro/document/
H A Dgetting.tex[all...]
H A Dfoundations.tex[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Intro/document/
H A Dgetting.tex[all...]
H A Dfoundations.tex[all...]
/seL4-l4v-10.1.1/HOL4/src/quantHeuristics/
H A DquantHeuristicsLibBase.sml2772 val proof = valOf proof_opt; value
2779 val proof = (valOf proof_opt); value
[all...]
/seL4-l4v-10.1.1/HOL4/src/proofman/
H A DproofManagerLib.sig4 type proof = Manager.proof type
[all...]
H A DproofManagerLib.sml12 type proof = Manager.proof type
H A DManager.sig5 datatype proof type
[all...]
H A DManager.sml12 datatype proof = GOALSTACK of goalStack.gstk history type
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibThm.sml367 val proof = rev o thm_foldr (fn (th,l) => (th, inference th) :: l) []; value
H A DmlibThm.sig28 val proof : thm -> (thm * inference') list value
H A DmlibMeson.sml[all...]
/seL4-l4v-10.1.1/HOL4/src/meson/src/
H A DmesonLib.sml941 val (proof,(insts,_,_)) = value
/seL4-l4v-10.1.1/HOL4/src/HolSmt/
H A DZ3_Proof.sml63 type proof = (int, proofterm) Redblackmap.dict type
H A DZ3_ProofParser.sml333 val proof = extend_proof proof (proofterm_i value
393 val proof = parse_proof get_token value
[all...]

Completed in 144 milliseconds

12