Searched defs:CC (Results 1 - 18 of 18) sorted by relevance

/seL4-l4v-master/HOL4/src/simp/
H A Dtest.sml67 val CC = SIMP_PROVE bool_ss [] (--`!P:'a->'b. (x = x') ==> (P x = P x')`--); value
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/adder/
H A Dmakefile12 CC = gcc macro
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/calculator/
H A Dmakefile14 CC = gcc macro
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/cmilner/
H A Dmakefile12 CC = gcc macro
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/fdd/
H A Dmakefile12 CC = gcc macro
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/milner/
H A Dmakefile12 CC = gcc macro
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/money/
H A Dmakefile12 CC = gcc macro
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/queen/
H A Dmakefile12 CC = gcc macro
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/solitare/
H A Dmakefile12 CC = gcc macro
/seL4-l4v-master/HOL4/tools/Holmake/
H A DSysteml.sig28 val CC : string value
H A Dunix-systeml.sml101 val CC = "" value
H A DwinNT-systeml.sml92 val CC = "" value
/seL4-l4v-master/HOL4/src/real/
H A DDiff.sml45 val CC = TAUT_CONV (``a ==> b ==> c = a /\ b ==> c``); value
/seL4-l4v-master/HOL4/tools-poly/Holmake/
H A Dunix-systeml.sml95 val CC = "" value
/seL4-l4v-master/HOL4/tools/
H A Dconfigure.sml44 val CC:string = "cc"; (* C compiler *) value
179 "val CC =" --> ("val CC = "^quote CC^"\n"), value
/seL4-l4v-master/HOL4/examples/l3-machine-code/common/
H A DImport.sig241 val CC : Term.term list -> Term.term value
H A DImport.sml459 fun CC [] = raise ERR "CC" "empty" function
/seL4-l4v-master/HOL4/tools-poly/
H A Dconfigure.sml51 val CC:string = "cc"; (* C compiler *) value
252 "val CC =" --> ("val CC = "^quote CC^"\n"), value

Completed in 93 milliseconds