| changeset 54436 | 0e1c576bbc19 |
| parent 54292 | ce4a17b2e373 |
| child 54577 | 627f369d505e |
--- a/src/Doc/ProgProve/Isar.thy Thu Nov 14 20:55:09 2013 +0100 +++ b/src/Doc/ProgProve/Isar.thy Sat Nov 16 07:45:53 2013 +0100 @@ -590,7 +590,7 @@ the fact just proved, in this case the preceding block. In general, \isacom{note} introduces a new name for one or more facts. -\subsection{Exercises} +\subsection*{Exercises} \exercise Give a readable, structured proof of the following lemma: @@ -1077,7 +1077,7 @@ \end{warn} -\subsection{Exercises} +\subsection*{Exercises} \exercise