X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Focaml%2Fmathql_interpreter%2Ffunc.ml;h=857a4c69813ef015916f301400b4ac9cfc68f3c6;hb=6cd9c31edf69f619789a9802e840fbb61f4b6b40;hp=314ad2b01db7a7b5428ddcfcd551d0ceed40c765;hpb=1cfcea66d7394a785ec439cd6b03497b276918c4;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/func.ml b/helm/ocaml/mathql_interpreter/func.ml
index 314ad2b01..857a4c698 100644
--- a/helm/ocaml/mathql_interpreter/func.ml
+++ b/helm/ocaml/mathql_interpreter/func.ml
@@ -33,6 +33,9 @@ open MathQL;;
 
 (*
  * implementazione della funzione NAME
+ *
+ * esempio:
+ * name "cic:/Algebra/CC_Props/CC_CauchySeq.ind#xpointer(1/1/1)" = CC_CauchySeq
  *)
 let func_name value =
  try (