Searched refs:symbols (Results 1 - 25 of 118) sorted by last modified time
12345
/seL4-l4v-10.1.1/seL4/manual/parts/ |
H A D | bootup.tex | 154 symbols \texttt{\_\_executable\_start} and \texttt{\_end} are available).
|
/seL4-l4v-10.1.1/l4v/spec/abstract/document/ |
H A D | root.tex | 27 % further packages required for unusual symbols (see also isabellesym.sty)
|
/seL4-l4v-10.1.1/l4v/proof/bisim/document/ |
H A D | root.tex | 27 % further packages required for unusual symbols (see also isabellesym.sty)
|
/seL4-l4v-10.1.1/l4v/misc/vim/ |
H A D | isabelle.vim | 17 " This syntax will show UTF-8 Isabelle symbols if you have concealling enabled. 719 " t = isasymbols.make_translator('/path/to/symbols') 720 " for symbol in t.symbols:
|
/seL4-l4v-10.1.1/l4v/misc/pysymbols/isasymbols/ |
H A D | isasymbols.py | 42 self.symbols = [] 87 self.symbols.append(Symbol(**fields)) 95 for symbol in self.symbols: 106 for s in self.symbols} 126 for s in self.symbols
|
/seL4-l4v-10.1.1/l4v/misc/filemerge/faster/ |
H A D | make_tables.py | 27 with open(os.path.join(MY_DIR, '../../../isabelle/etc/symbols')) as f: 32 for sym in t.symbols: 39 for s in t.symbols: 45 ascii_seq_max = max(len(s.ascii_text) for s in t.symbols)
|
/seL4-l4v-10.1.1/l4v/camkes/glue-spec/document/ |
H A D | root.tex | 27 % further packages required for unusual symbols (see also
|
/seL4-l4v-10.1.1/l4v/camkes/glue-proofs/document/ |
H A D | root.tex | 27 % further packages required for unusual symbols (see also
|
/seL4-l4v-10.1.1/l4v/camkes/adl-spec/document/ |
H A D | root.tex | 27 % further packages required for unusual symbols (see also
|
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/ |
H A D | symbols_dockable.scala | 83 /* symbols */ 118 tooltip = "Reset control symbols within text" 157 Symbol.groups_code.map({ case (group, symbols) => 161 symbols.map(new Symbol_Component(_, control)) :::
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/ |
H A D | symbols_dockable.scala | 83 /* symbols */ 118 tooltip = "Reset control symbols within text" 157 Symbol.groups_code.map({ case (group, symbols) => 161 symbols.map(new Symbol_Component(_, control)) :::
|
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
H A D | metis.sml | 186 val {clauses,literals,symbols,typedSymbols} = Problem.size cls 192 plural symbols "symbol" ^ ", " ^
|
H A D | Waiting.sig | 21 (* s = the number of symbols in the clause *)
|
H A D | Tptp.sml | 16 [(* Mapping TPTP functions to infix symbols *) 25 (* Expanding HOL symbols to TPTP alphanumerics *) 30 [(* Mapping TPTP relations to infix symbols *) 37 (* Expanding HOL symbols to TPTP alphanumerics *)
|
H A D | Term.sig | 72 (* The size of a term in symbols. *) 75 val symbols : term -> int value 159 (* Infix symbols *) 167 (* Binder symbols *) 171 (* Bracket symbols *)
|
H A D | Term.sml | 93 (* The size of a term in symbols. *) 105 fun symbols tm = sz 0 [tm]; function 370 [(* ML symbols *) 397 (* Other symbols *) 408 (* Binder symbols *) 412 (* Bracket symbols *)
|
H A D | Problem.sml | 25 fun syms (cl,n) = n + LiteralSet.symbols cl 33 symbols = List.foldl syms 0 cls,
|
H A D | Problem.sig | 19 symbols : int,
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
H A D | metis.sml | 186 val {clauses,literals,symbols,typedSymbols} = Problem.size cls 192 plural symbols "symbol" ^ ", " ^
|
H A D | Waiting.sig | 21 (* s = the number of symbols in the clause *)
|
H A D | Tptp.sml | 16 [(* Mapping TPTP functions to infix symbols *) 25 (* Expanding HOL symbols to TPTP alphanumerics *) 30 [(* Mapping TPTP relations to infix symbols *) 37 (* Expanding HOL symbols to TPTP alphanumerics *)
|
H A D | Term.sig | 72 (* The size of a term in symbols. *) 75 val symbols : term -> int value 159 (* Infix symbols *) 167 (* Binder symbols *) 171 (* Bracket symbols *)
|
H A D | Term.sml | 93 (* The size of a term in symbols. *) 105 fun symbols tm = sz 0 [tm]; function 370 [(* ML symbols *) 397 (* Other symbols *) 408 (* Binder symbols *) 412 (* Bracket symbols *)
|
H A D | Problem.sml | 25 fun syms (cl,n) = n + LiteralSet.symbols cl 33 symbols = List.foldl syms 0 cls,
|
H A D | Problem.sig | 19 symbols : int,
|
Completed in 112 milliseconds
12345