]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mathql/doc/mathql_introduction.tex
updating
[helm.git] / helm / mathql / doc / mathql_introduction.tex
diff --git a/helm/mathql/doc/mathql_introduction.tex b/helm/mathql/doc/mathql_introduction.tex
new file mode 100644 (file)
index 0000000..d243ca9
--- /dev/null
@@ -0,0 +1,6 @@
+\section{Introduction}
+
+This paper presents {\MathQL} version 4 which is the latest version of the
+language, fully developed by Ferruccio Guidi.  
+For a description of the previous versions of {\MathQL} see: \cite{Gui03}
+(version 3), \cite{GS03} (version 2), \cite{Lor02} (version 1).