tuned;

--- a/Admin/page/index.html	Tue Nov 03 09:57:53 1998 +0100
+++ b/Admin/page/index.html	Tue Nov 03 17:44:16 1998 +0100
@@ -105,8 +105,8 @@
 
 <li> declare inference rules (as meta-logical propositions),
 
-<li> instantiate generic proof tools (simplifier, classical tableau
-prover etc.),
+<li> instantiate generic automatic proof tools (simplifier, classical
+tableau prover etc.),
 
 <li> manually code special proof procedures (via tacticals or
 hand-written ML).