Searched defs:axioms (Results 1 - 16 of 16) sorted by relevance
/seL4-l4v-10.1.1/HOL4/examples/acl2/lisp/obsolete/ |
H A D | pprint-axioms.lisp | |
/seL4-l4v-10.1.1/HOL4/examples/hardware/hol88/computer/ |
H A D | values.ml | 8 % constants, definitions, and axioms common to both the host level % var
|
/seL4-l4v-10.1.1/HOL4/src/num/arith/src/ |
H A D | Solve.sml | 63 val axioms = value
|
/seL4-l4v-10.1.1/HOL4/src/postkernel/ |
H A D | DB.sig | 19 val axioms : string -> (string * thm) list value
|
H A D | DB.sml | 257 val axioms = List.map thm_of o Lib.filter (is Axm) o thy value
|
H A D | TheoryPP.sml | [all...] |
/seL4-l4v-10.1.1/HOL4/src/pred_set/Manual/ |
H A D | description.tex | |
/seL4-l4v-10.1.1/HOL4/src/prekernel/ |
H A D | Count.sml | 142 fun axioms () = !(#AXIOM count) function 199 val {axioms, defns, disk, oracles, prims} = mk_meter () value [all...] |
/seL4-l4v-10.1.1/HOL4/src/metis/ |
H A D | mlibResolution.sml | 134 val axioms = mk_axioms thms hyps value
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/lisp/ |
H A D | book-essence.lisp | |
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
H A D | metis.sml | 434 val axioms = List.map Thm.axiom axioms value
|
H A D | Tptp.sml | 1820 val {axioms,conjecture} = problem value 1909 val {axioms,conjecture} = problem value 1912 val (axioms,conjecture) = value 1958 val {axioms,conjectur value 2160 val axioms = List.map Thm.axiom axioms value [all...] |
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
H A D | metis.sml | 434 val axioms = List.map Thm.axiom axioms value
|
H A D | Tptp.sml | 1820 val {axioms,conjecture} = problem value 1909 val {axioms,conjecture} = problem value 1912 val (axioms,conjecture) = value 1958 val {axioms,conjectur value 2160 val axioms = List.map Thm.axiom axioms value [all...] |
/seL4-l4v-10.1.1/isabelle/src/Doc/Logics_ZF/document/ |
H A D | ZF.tex | [all...] |
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Logics_ZF/document/ |
H A D | ZF.tex | [all...] |
Completed in 104 milliseconds