Searched defs:basic (Results 1 - 10 of 10) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/dev/sw2/
H A Dbasic.sig1 signature basic = signature
H A Dbasic.sml1 structure basic :> basic = structure
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/common/
H A Dspec_databaseLib.sml108 val basic = basic_spec x value
/seL4-l4v-10.1.1/HOL4/examples/acl2/lisp/
H A Dbook-essence.lisp
/seL4-l4v-10.1.1/isabelle/src/Doc/Intro/document/
H A Dgetting.tex
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Intro/document/
H A Dgetting.tex
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibTerm.sml243 fun basic (Var v) = pp_vname v function
347 fun basic inp = function
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DTerm.sml523 and basic bv (Var v) = varName bv v function
661 fun basic bv tokens = function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DTerm.sml523 and basic bv (Var v) = varName bv v function
661 fun basic bv tokens = function
/seL4-l4v-10.1.1/HOL4/src/tfl/src/
H A DDefn.sml1426 let val basic = map free_calls (strip_conj eqns) value

Completed in 90 milliseconds