Lines Matching defs:about
8 and \ml{string}. The definitions of these types and some simple theorems about
11 of inference for reasoning about character strings in logic.
79 \subsection{Theorems about the type {\tt ascii}}%
80 \index{theorems!about the type {\tt ascii}|(}
82 In addition to \ml{ascii\_Axiom}, several standard theorems about the defined
127 \ml{ASCII}\index{theorems!about the type {\tt ascii}|)}.
219 \subsection{Theorems about the type {\tt string}}%
220 \index{theorems!about the type {\tt string}|(}
245 \noindent This theorem, which can be used to reason about the equality of
268 \index{theorems!about the type {\tt string}|)}