| changeset 158 | d7944bdf7b3f |
| parent 156 | e8f11280c762 |
| child 166 | 00d153e32a53 |
| 157:76cdc8f562fc | 158:d7944bdf7b3f |
|---|---|
1 theory Solutions |
1 theory Solutions |
2 imports Base |
2 imports Base |
3 uses "infix_conv.ML" |
|
4 begin |
3 begin |
5 |
4 |
6 chapter {* Solutions to Most Exercises\label{ch:solutions} *} |
5 chapter {* Solutions to Most Exercises\label{ch:solutions} *} |
7 |
6 |
8 text {* \solution{fun:revsum} *} |
7 text {* \solution{fun:revsum} *} |