X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Ftactics%2Ffilter_auto.mli;h=06909a836ea1aa57c6476f9a92b1d7cf7ad7ef75;hb=bc2a1fce21a66af077172344854c709b64b7fe82;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..06909a836 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,8 @@ val filter_new_constants:
 	int * string ->
 	bool
 
+val filter_uris:
+	Mysql.dbd ->
+	NewConstraints.StringSet.t ->
+	(int * string) list ->
+	(int * string) list