commit by user andrea

[helm.git] / weblib / tutorial / chapter7.ma

diff --git a/weblib/tutorial/chapter7.ma b/weblib/tutorial/chapter7.ma
index 2b3df90647500a408dc97c83a0d2fd147622494e..a4e3a861472a54c5c207646ecb2c0ffcd5067fa5 100644 (file)
--- a/weblib/tutorial/chapter7.ma
+++ b/weblib/tutorial/chapter7.ma
@@ -202,7 +202,7 @@ unification hint  0 \ 5a href="cic:/fakeuri.def(1)" title="hint_decl_Type0"\ 6≔\ 5/a
     \ 5a href="cic:/matita/tutorial/chapter7/beqitem.fix(0,1,4)"\ 6beqitem\ 5/a\ 6 S i1 i2 ≡ \ 5a href="cic:/matita/tutorial/chapter4/eqb.fix(0,0,3)"\ 6eqb\ 5/a\ 6 X i1 i2.
 
 (* 
-\ 5h2\ 6Semantics of pointed regular expression\ 5/h2\ 6
+\ 5h2\ 6Semantics of pointed regular expressions\ 5/h2\ 6
 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. *)