--- a/doc-src/Ref/defining.tex Mon Aug 24 19:11:13 1998 +0200
+++ b/doc-src/Ref/defining.tex Mon Aug 24 19:12:13 1998 +0200
@@ -886,3 +886,9 @@
by (eresolve_tac [MinIF.FalseE] 1);
\end{ttbox}
Try this as an exercise!
+
+
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: "ref"
+%%% End: