diff -r f3ff2549cdc8 -r 23a118849801 doc-src/TutorialI/Rules/rules.tex
--- 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}