few more files, one diverges

[helm.git] / helm / software / matita / virtuals.mli

diff --git a/helm/software/matita/virtuals.mli b/helm/software/matita/virtuals.mli
index ec77c244b4810c979aa51cabd894d175cf247f9d..09e350a3ade44d3f6bbdaee7a09563b029a3b806 100644 (file)
--- 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"]) *)