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 103 milliseconds