# HG changeset patch
# User schirmer
# Date 1117972191 -7200
# Node ID bcf05183df9e4844bfe8b325e11acbc2371e6e90
# Parent  5aba3dc670e87d50553004d2320c45a298131177
typo

diff -r 5aba3dc670e8 -r bcf05183df9e Admin/website/logics.html
--- a/Admin/website/logics.html	Sun Jun 05 13:45:48 2005 +0200
+++ b/Admin/website/logics.html	Sun Jun 05 13:49:51 2005 +0200
@@ -92,7 +92,7 @@
       sizable applications some degree of automated reasoning is essential.
       Instantiating existing tools like the classical tableau prover involves only
       minimal ML-based setup. One may also write arbitrary proof procedures or even
-      theory extension packages in ML, without breaching system soundness (Isabelle
+      theory extension packages in ML, without breaking system soundness (Isabelle
       follows the well-known <em>LCF system approach</em> to achieve a secure
       system).</p>
     </div>