X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmathql%2Fdoc%2Fmathql_operational.tex;fp=helm%2Fmathql%2Fdoc%2Fmathql_operational.tex;h=a7b3a9a49dcfcef733349d20dac34d854253ea74;hb=978a25d9392e5fc1a19fa37c86339c5d0b67ddd6;hp=32be697a50486a2ac4b99142a91c26613e9ccba4;hpb=36f71caeee72cb15185ecbc7644ed1da5c6f8186;p=helm.git

diff --git a/helm/mathql/doc/mathql_operational.tex b/helm/mathql/doc/mathql_operational.tex
index 32be697a5..a7b3a9a49 100644
--- a/helm/mathql/doc/mathql_operational.tex
+++ b/helm/mathql/doc/mathql_operational.tex
@@ -1,4 +1,4 @@
-\section {Operational semantics} \label {Operational}
+\section {Operational Semantics} \label {Operational}
 
 This section describes {\MathQL} semantics, that we present in a natural
 operational style \cite{Lan98,Win93}.