Searched refs:symbols (Results 101 - 118 of 118) sorted by relevance

12345

/seL4-l4v-10.1.1/HOL4/Manual/Tutorial/
H A Dlogic.tex307 Other binding symbols in the logic are its two most important quantifiers: \ml{!} and \ml{?}, universal and existential quantifiers.
317 Binding symbols such as these can be used over multiple `parameters' thus:
/seL4-l4v-10.1.1/isabelle/src/Doc/Logics_ZF/document/
H A DFOL.tex37 rules for the defined symbols $\neg$, $\bimp$ and $\exists!$. Natural
H A DZF.tex2582 the symbols are replaced by their definitions.
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Logics_ZF/document/
H A DFOL.tex37 rules for the defined symbols $\neg$, $\bimp$ and $\exists!$. Natural
H A DZF.tex2582 the symbols are replaced by their definitions.
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DOS.sml663 with symbols in the paths which may be invalid (e.g. path separators) in
/seL4-l4v-10.1.1/isabelle/src/Doc/Tutorial/document/
H A Drules.tex35 have to refer to other symbols as well. It is best not to be dogmatic.
369 The symbols \isa{\isasymLongrightarrow} and \isa{\isasymlongrightarrow}
440 negation symbols:
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Tutorial/document/
H A Drules.tex35 have to refer to other symbols as well. It is best not to be dogmatic.
369 The symbols \isa{\isasymLongrightarrow} and \isa{\isasymlongrightarrow}
440 negation symbols:
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dtexinfo.tex2090 % In order for the font changes to affect most math symbols and letters,
2974 % Some math mode symbols.
3067 % Also doesn't work in math. Do we need to do math with euro symbols?
6656 % print special symbols as themselves, and
6701 % print special symbols as themselves, and
H A Dconfigure5803 case `$DUMPBIN -symbols -headers /dev/null 2>&1 | sed '1q'` in
5805 DUMPBIN="$DUMPBIN -symbols -headers"
7090 # Regexp to match symbols that can be accessed directly from C.
7136 # Gets list of data symbols to import.
7153 # Some systems (esp. on ia64) link data and code symbols differently,
7192 # Also find C++ and __fastcall symbols from MSVC++,
7236 # Now try to grab the symbols.
7250 # Make sure that we snagged all the symbols we need.
7276 /* The mapping between symbol names and symbols. */
8507 _lt_dar_export_syms=' $wl-exported_symbols_list,$output_objdir/$libname-symbols
[all...]
/seL4-l4v-10.1.1/HOL4/examples/machine-code/lisp/
H A Dlisp_printScript.sml425 \\ Q.SPEC_TAC (`builtin_symbols ++ symbols`,`xs`)
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/M1/
H A Dsexp.sml486 (* Abbreviation for some symbols. *)
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/
H A Dsexp.sml409 (* Abbreviation for some symbols. *)
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A Dsexp.sml409 (* Abbreviation for some symbols. *)
/seL4-l4v-10.1.1/isabelle/src/Doc/Sledgehammer/document/
H A Droot.tex1100 Specifies whether fresh function symbols should be generated as aliases for
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Sledgehammer/document/
H A Droot.tex1100 Specifies whether fresh function symbols should be generated as aliases for
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure5509 case `$DUMPBIN -symbols -headers /dev/null 2>&1 | sed '1q'` in
5511 DUMPBIN="$DUMPBIN -symbols -headers"
6790 # Regexp to match symbols that can be accessed directly from C.
6836 # Gets list of data symbols to import.
6853 # Some systems (esp. on ia64) link data and code symbols differently,
6892 # Also find C++ and __fastcall symbols from MSVC++,
6936 # Now try to grab the symbols.
6950 # Make sure that we snagged all the symbols we need.
6976 /* The mapping between symbol names and symbols. */
8207 _lt_dar_export_syms=' $wl-exported_symbols_list,$output_objdir/$libname-symbols
[all...]
/seL4-l4v-10.1.1/HOL4/src/quotient/Manual/
H A Dquotient.tex89 % New definitions for AMS symbols

Completed in 220 milliseconds

12345