X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Focaml%2Fmathql_interpreter%2Frelation.mli;fp=helm%2Focaml%2Fmathql_interpreter%2Frelation.mli;h=aa7c755098e43dc9dab04e757a465f0f2eb378c7;hb=cef7b3b104313195d378890cd79656e5640eebec;hp=392d670cf5564dbbc72a5e9931c9a22ee8c5826f;hpb=bc8b40d7d0d2fffc2343410d793656a6461285b7;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/relation.mli b/helm/ocaml/mathql_interpreter/relation.mli
index 392d670cf..aa7c75509 100644
--- a/helm/ocaml/mathql_interpreter/relation.mli
+++ b/helm/ocaml/mathql_interpreter/relation.mli
@@ -25,3 +25,6 @@
 
 val relation_ex :
  MathQL.refine_op -> MathQL.path -> MathQL.resource_set -> MathQL.vvar_list -> MathQL.resource_set
+
+val relation_galax_ex :
+ MathQL.refine_op -> MathQL.path -> MathQL.resource_set -> MathQL.vvar_list -> MathQL.resource_set