Searched defs:trans (Results 1 - 20 of 20) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A Ddefaxioms.lisp.trans.ml
/seL4-l4v-10.1.1/HOL4/tools/
H A Dmake_iss.sml115 fun trans #"/" = "\\" | trans x = str x function
/seL4-l4v-10.1.1/HOL4/help/src-sml/
H A DDoc2Html.sml175 fun trans htmldir docdir docname = let function
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/lib/
H A DL3.sml90 fun trans P (s, r) = function
/seL4-l4v-10.1.1/HOL4/src/datatype/equiv/
H A DEquivType.sml112 val trans = PROVE value
/seL4-l4v-10.1.1/HOL4/src/new-datatype/
H A DWitness.sml53 val trans = IMP_TRANS (snd (EQ_IMP_RULE rule')) d value
H A DNDatatype.sml215 val trans = TRANS (TRANS left thm) (SYM right) value
/seL4-l4v-10.1.1/HOL4/examples/CCS/
H A DCCSConv.sml545 val trans = strip_trans thm value
H A DTraceScript.sml41 val trans = (REWRITE_RULE [GSYM Reach_def]) o BETA_RULE o (ISPEC Reach_defn); value
136 val trans = (REWRITE_RULE [GSYM STEP_def]) o BETA_RULE o (ISPEC STEP_defn); value
401 val trans = (REWRITE_RULE [SYM TRACE_def]) o (ISPEC ``TRANS``); value
[all...]
H A DWeakEQScript.sml41 val trans = (REWRITE_RULE [GSYM EPS_def]) o BETA_RULE o (ISPEC EPS_defn); value
/seL4-l4v-10.1.1/HOL4/examples/PSL/regexp/
H A DregexpTools.sml353 fun trans alph r s = function
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DHolmake_tools.sml26 fun trans [] = [] function
/seL4-l4v-10.1.1/HOL4/examples/diningcryptos/
H A DformalizeUseful.sig110 val trans : ('a -> 'b -> 'b) -> 'b -> 'a list -> 'b value
H A DsubtypeUseful.sig110 val trans : ('a -> 'b -> 'b) -> 'b -> 'a list -> 'b value
H A DformalizeUseful.sml226 fun trans _ s [] = s | trans f s (h::t) = trans f (f h s) t; function
[all...]
H A DsubtypeUseful.sml226 fun trans _ s [] = s | trans f s (h::t) = trans f (f h s) t; function
[all...]
/seL4-l4v-10.1.1/HOL4/examples/miller/useful/
H A DHurdUseful.sig109 val trans : ('a -> 'b -> 'b) -> 'b -> 'a list -> 'b value
H A DHurdUseful.sml202 fun trans _ s [] = s | trans f s (h::t) = trans f (f h s) t; function
[all...]
/seL4-l4v-10.1.1/HOL4/src/quotient/src/
H A Dquotient.sml1397 val trans = map (MATCH_MP QUOTIENT_TRANS) quot_ths value
1628 val trans = map (MATCH_MP QUOTIENT_TRANS) quot_ths value
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dxwindows.cpp5843 XtTranslations trans; member in union:__anon117::__anon118

Completed in 225 milliseconds