Searched refs:thing (Results 1 - 25 of 78) sorted by relevance

1234

/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/
H A Dheap_wrap.c16 struct thing { struct
19 struct thing *left;
20 struct thing *right;
28 void f1(struct thing *t) {
32 void f2(struct thing *t) {
36 void f3(struct thing *t) {
40 void f4(struct thing *t) {
44 void f5(struct thing *p, struct thing t) {
57 int f8(struct list *l, struct thing *
[all...]
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Dptr_modifies.c39 struct thing { struct
43 typedef struct thing thing_t;
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibTerm.sig127 datatype thing = mlibTerm of term | Formula of formula; type
138 val parse_term' : infixities -> thing quotation -> term
139 val parse_formula' : infixities -> thing quotation -> formula
142 val parse_term : thing quotation -> term
143 val parse_formula : thing quotation -> formula
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/
H A DenvScript.sml34 environments to evaluate to the same thing, rather than not evaluate at all. Using {} is not as satisfactory theoretically but more
/seL4-l4v-10.1.1/isabelle/src/HOL/TPTP/TPTP_Parser/
H A Dtptp.yacc22 | thing => raise (UNRECOGNISED_ROLE thing)
638 | thing => raise UNRECOGNISED_SYMBOL ("defined_type", thing)
662 | thing => raise UNRECOGNISED_SYMBOL ("defined_prop", thing)
676 | thing => raise UNRECOGNISED_SYMBOL ("defined_pred", thing)
767 | thing => raise UNRECOGNISED_SYMBOL ("defined_functor", thing)
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/HOL/TPTP/TPTP_Parser/
H A Dtptp.yacc22 | thing => raise (UNRECOGNISED_ROLE thing)
638 | thing => raise UNRECOGNISED_SYMBOL ("defined_type", thing)
662 | thing => raise UNRECOGNISED_SYMBOL ("defined_prop", thing)
676 | thing => raise UNRECOGNISED_SYMBOL ("defined_pred", thing)
767 | thing => raise UNRECOGNISED_SYMBOL ("defined_functor", thing)
[all...]
/seL4-l4v-10.1.1/HOL4/src/res_quan/Manual/
H A Dsummary.tex32 % define \@xboxverb<thing>\ENDTHEOREM to mean <thing>\ENDTHEOREM
41 % \bboxverb<thing> = <thing> in a verbatim box 5mm from left margin
/seL4-l4v-10.1.1/HOL4/src/1/
H A Dmatch_goal.sig59 Iterate over list, taking first thing that works.
H A Dmatch_goal.sml29 thing that raw_match uses. But we are not doing that. *)
/seL4-l4v-10.1.1/HOL4/tools/
H A Dbuildutils.sig79 whatever), taking the path to the thing to run, and the
/seL4-l4v-10.1.1/HOL4/tools-poly/Holmake/
H A DwinNT-systeml.sml4 It is the very first thing compiled by the HOL build process so it
H A Dunix-systeml.sml4 very first thing compiled by the HOL build process so it absolutely
/seL4-l4v-10.1.1/isabelle/src/Doc/Functions/document/
H A Dintro.tex7 sometimes be a difficult thing.
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Functions/document/
H A Dintro.tex7 sometimes be a difficult thing.
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DHol_pp.sml100 fun colour thing col =
101 String.concat["<font color=\"",col,"\">",thing,"</font>"];
H A DAbsyn.sml122 | dest_typed t = raise ERRloc "dest_typed" (locn_of_absyn t) "Expected a typed thing";
/seL4-l4v-10.1.1/HOL4/examples/computability/lambda/
H A DHaltingProblemsScript.sml24 if you apply an f to its index, then the thing is undecidable. In
/seL4-l4v-10.1.1/HOL4/src/pfl/examples/
H A Dtree.sml157 Q.PAT_ASSUM `IS_SOME thing` MP_TAC THEN
/seL4-l4v-10.1.1/HOL4/src/postkernel/
H A DTheory.sig123 the last thing done when they load. This will in turn cause a
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A Dunix-systeml.sml4 very first thing compiled by the HOL build process so it absolutely
H A DwinNT-systeml.sml4 It is the very first thing compiled by the HOL build process so it
/seL4-l4v-10.1.1/HOL4/src/simp/src/
H A DTraverse.sml168 (* This code is used just once, to do the right thing with the
193 (* And another thing. The current simplifer doesn't allow users to
/seL4-l4v-10.1.1/HOL4/src/datatype/
H A DEnumType.sml482 ("thing", ["a0", "a1", "a2", "a3", "a4", "a5", "a6", "a7", "a8",
500 ("thing", ["z0", "z1", "z2", "z3", "z4", "z5", "z6", "z7", "z8",
522 ("thing", ["Z0", "Z1", "Z2", "Z3", "Z4", "Z5", "Z6", "Z7", "Z8",
/seL4-l4v-10.1.1/HOL4/src/experimental-kernel/
H A DType.sml210 | tymatch any other thing = MERR "different constructors"
/seL4-l4v-10.1.1/HOL4/src/integer/
H A DintSimps.sml115 complicated non-presburger thing that will get treated as a variable

Completed in 215 milliseconds

1234