--- a/Admin/page/main-content/logics.content Tue Feb 13 16:05:56 2001 +0100
+++ b/Admin/page/main-content/logics.content Tue Feb 13 16:31:18 2001 +0100
@@ -79,16 +79,16 @@
<ol>
-<li> declare concrete syntax (via mixfix grammar and syntax macros),
+<li>declare concrete syntax (via mixfix grammar and syntax macros),
-<li> declare abstract syntax (as higher-order constants),
+<li>declare abstract syntax (as higher-order constants),
-<li> declare inference rules (as meta-logical propositions),
+<li>declare inference rules (as meta-logical propositions),
-<li> instantiate generic automatic proof tools (simplifier, classical
+<li>instantiate generic automatic proof tools (simplifier, classical
tableau prover etc.),
-<li> manually code special proof procedures (via tacticals or
+<li>manually code special proof procedures (via tacticals or
hand-written ML).
</ol>