| changeset 11494 | 23a118849801 |
| parent 11480 | 0fba0357c04c |
| child 12156 | d2758965362e |
--- a/doc-src/TutorialI/Rules/rules.tex Thu Aug 09 10:17:45 2001 +0200 +++ b/doc-src/TutorialI/Rules/rules.tex Thu Aug 09 18:12:15 2001 +0200 @@ -1311,7 +1311,6 @@ \isacommand{by}\ (auto\ intro:\ order_antisym) \end{isabelle} -\REMARK{refer to \isa{Main_wo_AC} if we introduce it} \subsection{Indefinite Descriptions}