plugin groebner updated and renamed as nsatz; first version of the doc of nsatz in the refman

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13056 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 0 insertions, 24 deletions

diff --git a/plugins/groebner/utile.mli b/plugins/groebner/utile.mli
deleted file mode 100644
index 209258dd62..0000000000
--- a/plugins/groebner/utile.mli
+++ /dev/null
@@ -1,24 +0,0 @@
-
-(* Printing *)
-val pr : string -> unit
-val prn : string -> unit
-val prt0 : 'a -> unit
-val prt : string -> unit
-val info : string -> unit
-
-(* Listes *)
-val list_mem_eq : ('a -> 'b -> bool) -> 'a -> 'b list -> bool
-val set_of_list_eq : ('a -> 'a -> bool) -> 'a list -> 'a list
-
-(* Memoization *)
-val memo :
-  ('a * 'b) list ref -> ('a -> 'a -> bool) -> 'b -> ('a -> 'b) -> 'a -> 'b
-val memos :
-  string -> ('a, 'b) Hashtbl.t -> ('c -> 'a) -> ('c -> 'b) -> 'c -> 'b
-
-
-val facteurs_liste : ('a -> 'a -> 'a) -> ('a -> bool) -> 'a list -> 'a list
-val factorise_tableau :
-  ('a -> 'b -> 'a) ->
-  ('a -> bool) ->
-  'a -> 'a array -> 'b array -> 'b array * ('a * int list) array