Searched refs:author (Results 26 - 50 of 54) sorted by relevance

123

/seL4-l4v-10.1.1/l4v/spec/abstract/document/
H A Droot.tex100 \author{%
/seL4-l4v-10.1.1/l4v/proof/bisim/document/
H A Droot.tex96 \author{%
/seL4-l4v-10.1.1/seL4/manual/
H A Dmanual.tex98 \author{Trustworthy~Systems~Team, Data61}
/seL4-l4v-10.1.1/HOL4/developers/discussion/
H A Doverloading-extension.tex6 \author{Michael Norrish}
/seL4-l4v-10.1.1/isabelle/src/Doc/Intro/document/
H A Droot.tex10 \author{{\em Lawrence C. Paulson}\\
/seL4-l4v-10.1.1/isabelle/src/HOL/Bali/document/
H A Droot.tex35 \author{Gerwin Klein \and Tobias Nipkow \and David von Oheimb \and
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Intro/document/
H A Droot.tex10 \author{{\em Lawrence C. Paulson}\\
/seL4-l4v-10.1.1/l4v/isabelle/src/HOL/Bali/document/
H A Droot.tex35 \author{Gerwin Klein \and Tobias Nipkow \and David von Oheimb \and
/seL4-l4v-10.1.1/HOL4/src/num/arith/Manual/
H A Ddescription.tex157 author anticipates that in most circumstances the user will know whether the
/seL4-l4v-10.1.1/HOL4/src/res_quan/Manual/
H A Dsummary.tex6 \author{W. Wong}
/seL4-l4v-10.1.1/isabelle/src/Doc/Sledgehammer/document/
H A Droot.tex60 \author{\hbox{} \\
141 directed to the author at \authoremail.
351 send them to the author at \authoremail.
437 strongly encouraged to report this to the author at \authoremail.
529 error to the author at \authoremail.
948 file every now and then to the author of this manual (\authoremail).
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Sledgehammer/document/
H A Droot.tex60 \author{\hbox{} \\
141 directed to the author at \authoremail.
351 send them to the author at \authoremail.
437 strongly encouraged to report this to the author at \authoremail.
529 error to the author at \authoremail.
948 file every now and then to the author of this manual (\authoremail).
/seL4-l4v-10.1.1/HOL4/examples/computability/
H A DprimrecfnsScript.sml611 author = {Nora Szasz},
/seL4-l4v-10.1.1/HOL4/examples/decidable_separationLogic/doc/
H A Dpresentation-content.tex7 \author[Tuerk, Gordon]{Thomas Tuerk \and Mike Gordon}
H A Dds.tex56 \author{Thomas Tuerk}
/seL4-l4v-10.1.1/HOL4/src/enumfset/
H A DtcScript.sml1 (* file HS/FIN/tcScript.sml, created 1/23/13, revised 9/30, author F.L.Morris *)
H A DwotScript.sml1 (* file wotScript.sml; author F.L.Morris; created as Script file. 2/24/10 *)
/seL4-l4v-10.1.1/HOL4/Manual/Interaction/
H A DHOL-interaction.tex18 \author{\normalsize Magnus O. Myreen}
/seL4-l4v-10.1.1/isabelle/src/Doc/Nitpick/document/
H A Droot.tex56 \author{\hbox{} \\
137 the tool or the manual should be directed to the author at \authoremail.
141 \textbf{Acknowledgment.} The author would like to thank Mark Summerfield for
1823 file every now and then to the author of this manual (\authoremail).
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Nitpick/document/
H A Droot.tex56 \author{\hbox{} \\
137 the tool or the manual should be directed to the author at \authoremail.
141 \textbf{Acknowledgment.} The author would like to thank Mark Summerfield for
1823 file every now and then to the author of this manual (\authoremail).
/seL4-l4v-10.1.1/HOL4/Manual/Guide/
H A Dguide.tex1550 \item The author, preferably including an email address
1602 the new library name and author's name and address.
/seL4-l4v-10.1.1/HOL4/src/IndDef/Manual/
H A Dpaper.tex789 however, the author intends in future to add this function to the inductive
/seL4-l4v-10.1.1/HOL4/src/finite_map/
H A Dfinite_mapScript.sml13 author = {Graham Collins and Donald Syme},
/seL4-l4v-10.1.1/HOL4/src/pred_set/Manual/
H A Ddescription.tex8 was completely rewritten by the present author for \HOL\ version 2.01 in early
/seL4-l4v-10.1.1/HOL4/src/quotient/examples/
H A Dind_rel.sml3 (* Part of the author's doctoral dissertation *)

Completed in 220 milliseconds

123