X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2Fground.mli;fp=matita%2Fcomponents%2Fbinaries%2Fmatex%2Fground.mli;h=923ec58b7bab7e0e88cd381c92261a9328a504e9;hb=c992745a40b4ac8b6c5285bf9c5eff26c423f236;hp=9cc32beda5745c282c487fed54fc01d99b26c343;hpb=e9caa75be87bdbd68d8ca2d7291f623bec6b93aa;p=helm.git

diff --git a/matita/components/binaries/matex/ground.mli b/matita/components/binaries/matex/ground.mli
index 9cc32beda..923ec58b7 100644
--- a/matita/components/binaries/matex/ground.mli
+++ b/matita/components/binaries/matex/ground.mli
@@ -32,3 +32,5 @@ val foldi_left: (int -> 'a -> 'b -> 'a) -> int -> 'a -> 'b list -> 'a
 val rev_mapi: (int -> 'b -> 'a) -> int -> 'b list -> 'a list
 
 val rev_map_append: ('a -> 'b) -> 'a list -> 'b list -> 'b list
+
+val split_at: int -> 'a list -> 'a list * 'a list