X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Flib%2Flog.mli;h=bdaee06e089ec940216275d4dc5dd201e1fb6205;hb=f2d0f4e55ea0f3a953982bee62d9ad98876e4aa8;hp=821cb0f3180063d09fcd854e5022f9854c8af2fb;hpb=426005acf6fb05116de5bae20591eefe55a4df00;p=helm.git

diff --git a/helm/software/lambda-delta/lib/log.mli b/helm/software/lambda-delta/lib/log.mli
index 821cb0f31..bdaee06e0 100644
--- a/helm/software/lambda-delta/lib/log.mli
+++ b/helm/software/lambda-delta/lib/log.mli
@@ -39,6 +39,14 @@ val error: ('a, 'b) specs -> ('a, 'b) item list -> unit
 
 val items1: string -> ('a, 'b) item list
 
-val ct_items1: string -> 'a -> 'b -> ('a, 'b) item list
+val t_items1: string -> 'a -> 'b -> ('a, 'b) item list
 
-val ct_items2: string -> 'a -> 'b -> string -> 'a -> 'b -> ('a, 'b) item list
+val ct_items1:
+   string -> 'a -> string -> 'b -> ('a, 'b) item list
+
+val ct_items2:
+   string -> 'a -> string -> 'b -> string -> 'b -> ('a, 'b) item list
+
+val ct_items3:
+   string -> 'a -> string -> 'b -> string -> 'b -> string -> 'b -> 
+   ('a, 'b) item list