X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Ftactics%2Ffilter_auto.mli;h=699eacf628cf795a0fa692f318e2edee638f3324;hb=a864255e782859e2b3b7da08297f5d3fe2ee710d;hp=44dfd32a9d2352095a50e64589b3685f2ef4bf46;hpb=6150b8ef905aaea17b47ff466c067054f976cd8f;p=helm.git

diff --git a/helm/ocaml/tactics/filter_auto.mli b/helm/ocaml/tactics/filter_auto.mli
index 44dfd32a9..699eacf62 100644
--- a/helm/ocaml/tactics/filter_auto.mli
+++ b/helm/ocaml/tactics/filter_auto.mli
@@ -23,7 +23,8 @@
  * http://cs.unibo.it/helm/.
  *)
 
-
+val power:
+ int -> int -> int 
 
 val filter_new_constants: 
 	Mysql.dbd ->
@@ -31,3 +32,9 @@ val filter_new_constants:
 	int * string ->
 	bool
 
+val filter_uris:
+	Mysql.dbd ->
+	NewConstraints.StringSet.t ->
+	(int * string) list ->
+	string ->
+	(int * string) list