# HG changeset patch
# User wenzelm
# Date 910111456 -3600
# Node ID 2357319f184a8b7b96054df2e27dc98a697b133e
# Parent  8419bd5f85fc19befb7594e8a10a1a0b0aa34c36
tuned;

diff -r 8419bd5f85fc -r 2357319f184a Admin/page/index.html
--- 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).