X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fvirtuals.ml;h=229e780c28d8513951d1745e62595a7af7c642bb;hb=395bcb2796cb9edcdb792579341c2271a8d1adaf;hp=4d7b91507e9250e9cbf199440edb1dd3b8a85021;hpb=7a060397679753a0233139b1ba83ac83c2c49949;p=helm.git

diff --git a/helm/software/matita/virtuals.ml b/helm/software/matita/virtuals.ml
index 4d7b91507..229e780c2 100644
--- a/helm/software/matita/virtuals.ml
+++ b/helm/software/matita/virtuals.ml
@@ -56,4 +56,13 @@ let similar_symbols symbol =
   with Not_found -> []
 ;;
 
+let get_all_eqclass () =
+  let rc = ref [] in
+  Hashtbl.iter 
+    (fun k v ->
+      if not (List.mem v !rc) then
+        rc := v :: !rc)
+    classes;
+  !rc
+;;