X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=weblib%2Ftutorial%2Fchapter7.ma;h=a4e3a861472a54c5c207646ecb2c0ffcd5067fa5;hb=fc43587e06d59afb5b1c65904372843d928fdfe5;hp=2b3df90647500a408dc97c83a0d2fd147622494e;hpb=3d52e10f9ff1bba01f0c0e9482026e1f4845f31a;p=helm.git

diff --git a/weblib/tutorial/chapter7.ma b/weblib/tutorial/chapter7.ma
index 2b3df9064..a4e3a8614 100644
--- a/weblib/tutorial/chapter7.ma
+++ b/weblib/tutorial/chapter7.ma
@@ -202,7 +202,7 @@ unification hint  0 a href="cic:/fakeuri.def(1)" title="hint_decl_Type0"≔/a
     a href="cic:/matita/tutorial/chapter7/beqitem.fix(0,1,4)"beqitem/a S i1 i2 ≡ a href="cic:/matita/tutorial/chapter4/eqb.fix(0,0,3)"eqb/a X i1 i2.
 
 (* 
-h2Semantics of pointed regular expression/h2
+h2Semantics of pointed regular expressions/h2
 The intuitive semantic of a point is to mark the position where
 we should start reading the regular expression. The language associated
 to a pre is the union of the languages associated with its points. *)