]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mathql/doc/mathql_introduction.tex
- some code patched
[helm.git] / helm / mathql / doc / mathql_introduction.tex
index 0fad196e03dc62ffd389824f17c0fb102e715422..73086dba7600f8c749678a020c27a7736ce6cf0a 100644 (file)
@@ -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.