# HG changeset patch
# User wenzelm
# Date 939906335 -7200
# Node ID 2efb66472812fe10811221d02100a7881f3e7aed
# Parent  3ccaa11b6df9c6d0c37f33c08df4af7a94f77318
fixed comment;

diff -r 3ccaa11b6df9 -r 2efb66472812 src/HOL/Induct/Acc.thy
--- a/src/HOL/Induct/Acc.thy	Thu Oct 14 15:04:36 1999 +0200
+++ b/src/HOL/Induct/Acc.thy	Thu Oct 14 15:05:35 1999 +0200
@@ -9,7 +9,7 @@
 Research Report 92-49, LIP, ENS Lyon.  Dec 1992.
 *)
 
-header {* The acessible part of a relation *};
+header {* The accessible part of a relation *};
 
 theory Acc = WF + Inductive:;