X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fdoc%2Fmathql_introduction.tex;h=73086dba7600f8c749678a020c27a7736ce6cf0a;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=0fad196e03dc62ffd389824f17c0fb102e715422;hpb=552dbd63f202c8876605b62621c3e727d71e3963;p=helm.git

diff --git a/helm/mathql/doc/mathql_introduction.tex b/helm/mathql/doc/mathql_introduction.tex
index 0fad196e0..73086dba7 100644
--- a/helm/mathql/doc/mathql_introduction.tex
+++ b/helm/mathql/doc/mathql_introduction.tex
@@ -1,4 +1,4 @@
-\section{The language}
+\section{Introduction}
 
 This paper presents {\MathQL} version 4 which is the latest version of the
 language, fully developed by the Author.