changeset 16272 bcf05183df9e
parent 16240 95cc0e8f8a17
child 16575 15d5f8e729fe
--- 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