Searched refs:symbols (Results 1 - 25 of 118) sorted by last modified time

12345

/seL4-l4v-10.1.1/seL4/manual/parts/
H A Dbootup.tex154 symbols \texttt{\_\_executable\_start} and \texttt{\_end} are available).
/seL4-l4v-10.1.1/l4v/spec/abstract/document/
H A Droot.tex27 % further packages required for unusual symbols (see also isabellesym.sty)
/seL4-l4v-10.1.1/l4v/proof/bisim/document/
H A Droot.tex27 % further packages required for unusual symbols (see also isabellesym.sty)
/seL4-l4v-10.1.1/l4v/misc/vim/
H A Disabelle.vim17 " 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 Disasymbols.py42 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 Dmake_tables.py27 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 Droot.tex27 % further packages required for unusual symbols (see also
/seL4-l4v-10.1.1/l4v/camkes/glue-proofs/document/
H A Droot.tex27 % further packages required for unusual symbols (see also
/seL4-l4v-10.1.1/l4v/camkes/adl-spec/document/
H A Droot.tex27 % further packages required for unusual symbols (see also
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/
H A Dsymbols_dockable.scala83 /* 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 Dsymbols_dockable.scala83 /* 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 Dmetis.sml186 val {clauses,literals,symbols,typedSymbols} = Problem.size cls
192 plural symbols "symbol" ^ ", " ^
H A DWaiting.sig21 (* s = the number of symbols in the clause *)
H A DTptp.sml16 [(* 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 DTerm.sig72 (* The size of a term in symbols. *)
75 val symbols : term -> int value
159 (* Infix symbols *)
167 (* Binder symbols *)
171 (* Bracket symbols *)
H A DTerm.sml93 (* 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 DProblem.sml25 fun syms (cl,n) = n + LiteralSet.symbols cl
33 symbols = List.foldl syms 0 cls,
H A DProblem.sig19 symbols : int,
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A Dmetis.sml186 val {clauses,literals,symbols,typedSymbols} = Problem.size cls
192 plural symbols "symbol" ^ ", " ^
H A DWaiting.sig21 (* s = the number of symbols in the clause *)
H A DTptp.sml16 [(* 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 DTerm.sig72 (* The size of a term in symbols. *)
75 val symbols : term -> int value
159 (* Infix symbols *)
167 (* Binder symbols *)
171 (* Bracket symbols *)
H A DTerm.sml93 (* 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 DProblem.sml25 fun syms (cl,n) = n + LiteralSet.symbols cl
33 symbols = List.foldl syms 0 cls,
H A DProblem.sig19 symbols : int,

Completed in 112 milliseconds

12345