| changeset 5371 | e27558a68b8d |
| parent 4543 | 82a45bdd0e80 |
| child 6067 | 0f8ab32093ae |
| 5370:ba0470fe09fc | 5371:e27558a68b8d |
|---|---|
319 subgoal module. The appearance of the output thus depends upon the |
319 subgoal module. The appearance of the output thus depends upon the |
320 theory used in the last interactive proof. |
320 theory used in the last interactive proof. |
321 \end{warn} |
321 \end{warn} |
322 |
322 |
323 \index{sessions|)} |
323 \index{sessions|)} |
324 |
|
325 |
|
326 %%% Local Variables: |
|
327 %%% mode: latex |
|
328 %%% TeX-master: "ref" |
|
329 %%% End: |