equal
deleted
inserted
replaced
122 |
122 |
123 |
123 |
124 \section{An Introductory Proof} |
124 \section{An Introductory Proof} |
125 \label{sec:intro-proof} |
125 \label{sec:intro-proof} |
126 |
126 |
127 Assuming you have input the declarations and definitions of \texttt{ToyList} |
127 Assuming you have processed the declarations and definitions of |
128 presented so far, we are ready to prove a few simple theorems. This will |
128 \texttt{ToyList} presented so far, we are ready to prove a few simple |
129 illustrate not just the basic proof commands but also the typical proof |
129 theorems. This will illustrate not just the basic proof commands but |
130 process. |
130 also the typical proof process. |
131 |
131 |
132 \subsubsection*{Main Goal.} |
132 \subsubsection*{Main Goal.} |
133 |
133 |
134 Our goal is to show that reversing a list twice produces the original |
134 Our goal is to show that reversing a list twice produces the original |
135 list.% |
135 list.% |