Searched defs:refute (Results 1 - 9 of 9) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibSolver.sig33 val refute : solver -> thm option value
H A DmlibSolver.sml129 fun refute s = Option.map hd (find s [False]); function
/seL4-l4v-10.1.1/graph-refine/
H A Dtrace_refute.py595 def refute (inp_fname, out_fname, prev_fnames, instance = None): function
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A Dmetis.sml432 fun refute limit {axioms,conjecture} = function
H A DTptp.sml2158 fun refute {axioms,conjecture} = function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A Dmetis.sml432 fun refute limit {axioms,conjecture} = function
H A DTptp.sml2158 fun refute {axioms,conjecture} = function
/seL4-l4v-10.1.1/HOL4/src/refute/
H A DCanon.sml557 fun refute refuter tm = function
/seL4-l4v-10.1.1/HOL4/examples/miller/ho_prover/
H A Dho_proverTools.sml1280 val refute = meson_refute_reduce_depth db reduce value

Completed in 135 milliseconds