| changeset 25 | e2f9f94b26d4 |
| parent 15 | 9da9ba2b095b |
| child 35 | d5c090b9a2b1 |
| 24:9d5d2f9d7c09 | 25:e2f9f94b26d4 |
|---|---|
1 theory Solutions |
1 theory Solutions |
2 imports Main |
2 imports Base |
3 uses "antiquote_setup.ML" |
|
4 "antiquote_setup_plus.ML" |
|
5 begin |
3 begin |
6 |
4 |
7 chapter {* Solutions to Most Exercises *} |
5 chapter {* Solutions to Most Exercises *} |
8 |
6 |
9 text {* \solution{fun:revsum} *} |
7 text {* \solution{fun:revsum} *} |