fixed comment;
authorwenzelm
Thu Oct 14 15:05:35 1999 +0200 (1999-10-14)
changeset 78672efb66472812
parent 7866 3ccaa11b6df9
child 7868 0cb6508f190c
fixed comment;
src/HOL/Induct/Acc.thy
     1.1 --- a/src/HOL/Induct/Acc.thy	Thu Oct 14 15:04:36 1999 +0200
     1.2 +++ b/src/HOL/Induct/Acc.thy	Thu Oct 14 15:05:35 1999 +0200
     1.3 @@ -9,7 +9,7 @@
     1.4  Research Report 92-49, LIP, ENS Lyon.  Dec 1992.
     1.5  *)
     1.6  
     1.7 -header {* The acessible part of a relation *};
     1.8 +header {* The accessible part of a relation *};
     1.9  
    1.10  theory Acc = WF + Inductive:;
    1.11