Searched defs:col (Results 1 - 8 of 8) sorted by relevance

/seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/
H A DDirectory.java10 public Directory(TreeNode nd,String n,Vector col) { argument
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/
H A DDirectory.java10 public Directory(TreeNode nd,String n,Vector col) { argument
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Dparse_enum.c17 enum hue col; local
/seL4-l4v-10.1.1/HOL4/src/pattern_matches/
H A DpatternMatchesSyntax.sml477 val col = map hd rows value
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DUseful.sml677 val col = List.map hd rows value
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DUseful.sml677 val col = List.map hd rows value
/seL4-l4v-10.1.1/HOL4/examples/separationLogic/src/holfoot/
H A DholfootParser.sml105 fun col set l s = (Redblackset.add (set,s), Absyn.IDENT (l, s)) function
/seL4-l4v-10.1.1/HOL4/src/quantHeuristics/
H A DquantHeuristicsLibBase.sml1213 fun col (L1,L2,L3) = function

Completed in 215 milliseconds