--- 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>