X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fcommon%2Flibrary.mli;h=3364175bd38b1c84e123585e5bef3c3ed5832fee;hb=e22808c929a9cebf5e4e2b7428ff0cbf89e1f92a;hp=f364af329ed9621cf5da5d10bdfce52f40d41b0e;hpb=f7bb626faf6b9d89c0ee5ac48b1d97c69d189f8a;p=helm.git

diff --git a/helm/software/lambda-delta/common/library.mli b/helm/software/lambda-delta/common/library.mli
index f364af329..3364175bd 100644
--- a/helm/software/lambda-delta/common/library.mli
+++ b/helm/software/lambda-delta/common/library.mli
@@ -50,9 +50,3 @@ val arity: int -> attr
 val name: Entity.attrs -> attr
 
 val mark: Entity.attrs -> attr
-
-val old_export_entity:
-   (Format.formatter -> 'term -> unit) -> 
-   bool -> Hierarchy.graph -> 'term Entity.entity -> unit
-
-val old_name: Format.formatter -> Entity.attrs -> unit