X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fvirtuals.mli;h=09e350a3ade44d3f6bbdaee7a09563b029a3b806;hb=d7f32114f3806b51c2ee483dcb5a86e08d086a72;hp=ec77c244b4810c979aa51cabd894d175cf247f9d;hpb=7a060397679753a0233139b1ba83ac83c2c49949;p=helm.git

diff --git a/helm/software/matita/virtuals.mli b/helm/software/matita/virtuals.mli
index ec77c244b..09e350a3a 100644
--- a/helm/software/matita/virtuals.mli
+++ b/helm/software/matita/virtuals.mli
@@ -11,4 +11,6 @@ val get_all_virtuals : unit -> (tag * (string list * symbol) list) list
 val add_eqclass: symbol list -> unit
 val similar_symbols: symbol -> symbol list
 
+val get_all_eqclass: unit -> symbol list list
+
 (* (["\\lambda";"\\"], "λ", ["logics";"letters"]) *)