]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/select.ml
let in implemented
[helm.git] / helm / ocaml / mathql_interpreter / select.ml
index 7c7d7f2a7bbaf8ece53c2171c05569c38a9b86b4..772f6964e9e71a8ba379c272a6be4b364130e609 100644 (file)
@@ -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/.
  *)
 
 (*