From: lordi <??>
Date: Thu, 13 Jun 2002 17:13:05 +0000 (+0000)
Subject: added support for let in
X-Git-Tag: V_0_3_0_debian_8~44
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=46efa18587accd9b5479e021f05ae6d1f2918037;p=helm.git

added support for let in
---

diff --git a/helm/ocaml/mathql/mathQL.ml b/helm/ocaml/mathql/mathQL.ml
index d102e7301..85e085e2c 100644
--- a/helm/ocaml/mathql/mathQL.ml
+++ b/helm/ocaml/mathql/mathQL.ml
@@ -20,7 +20,7 @@
  * MA  02111-1307, USA.
  * 
  * For details, see the HELM World-Wide-Web page,
- * http://cs.unibo.it/helm/.
+ * http://www.cs.unibo.it/helm/.
  *)
 
 (******************************************************************************)
@@ -123,6 +123,8 @@ and mqlist =
    | MQSortedBy of mqlist * mqorder * mqfunc (*  *)
    | MQLRVar of mqrvar
    | MQDiff of mqlist * mqlist               (*  *)
+   | MQLetIn of mqrvar * mqlist
+   | MQLetRef of mqrvar
 
 type mquery =
    | MQList of mqlist