Changed proposal document title.

docs/proposal.tex

@@ -8,7 +8,7 @@
 \setlength{\parindent}{0pt}
 \setlength{\parskip}{1ex plus 0.5ex minus 0.2ex}
 
-\title{Mathematical Term Rewriting System}
+\title{An interactive math tutoring system for secondary schools}
 \author{Taddeus Kroes (taddeuskroes@hotmail.com)
     \and Sander Mathijs van Veen (smvv@kompiler.org)}