equal
deleted
inserted
replaced
11 readability of theories. Synonyms can be used just like any other |
11 readability of theories. Synonyms can be used just like any other |
12 type:% |
12 type:% |
13 \end{isamarkuptext}% |
13 \end{isamarkuptext}% |
14 \isacommand{consts}\ nand\ {\isacharcolon}{\isacharcolon}\ gate\isanewline |
14 \isacommand{consts}\ nand\ {\isacharcolon}{\isacharcolon}\ gate\isanewline |
15 \ \ \ \ \ \ \ xor\ \ {\isacharcolon}{\isacharcolon}\ gate% |
15 \ \ \ \ \ \ \ xor\ \ {\isacharcolon}{\isacharcolon}\ gate% |
16 \isamarkupsubsection{Constant definitions% |
16 \isamarkupsubsection{Constant Definitions% |
17 } |
17 } |
18 % |
18 % |
19 \begin{isamarkuptext}% |
19 \begin{isamarkuptext}% |
20 \label{sec:ConstDefinitions}\indexbold{definition}% |
20 \label{sec:ConstDefinitions}\indexbold{definition}% |
21 The above constants \isa{nand} and \isa{xor} are non-recursive and can |
21 The above constants \isa{nand} and \isa{xor} are non-recursive and can |