Searched defs:example (Results 1 - 1 of 1) sorted by relevance

/hets/Maude/doc/
H A Ddg.tex10 development graphs, illustrating it with an example.
127 \subsubsection{Development graph: An example\label{subsubsec:dg_ex}}
129 We illustrate how to build the development graph with an example. Consider
195 ``natural numbers are a total order.'' For example, we could prove

Completed in 11 milliseconds