# HG changeset patch
# User webertj
# Date 1164285139 -3600
# Node ID b1fdc05138123876fdc344cba56473f026c02bd1
# Parent  44f616cc8985326dcc4183bce98916d47b4661cc
typo in comment fixed

diff -r 44f616cc8985 -r b1fdc0513812 src/HOL/HOL.thy
--- a/src/HOL/HOL.thy	Thu Nov 23 11:39:11 2006 +0100
+++ b/src/HOL/HOL.thy	Thu Nov 23 13:32:19 2006 +0100
@@ -259,7 +259,7 @@
   shows "A = B"
   by (unfold meq) (rule refl)
 
-text {* Useful with eresolve\_tac for proving equalties from known equalities. *}
+text {* Useful with eresolve\_tac for proving equalities from known equalities. *}
      (* a = b
         |   |
         c = d   *)