X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fmodules.ml;h=f8623ce7080834fece00e977325ddeb368f897af;hb=a77d0bd6a04e94f765d329d47b37d9e04d349b14;hp=c6767aae7fedfb3e7d9cf05572e44f275ec38b42;hpb=54191356ed05e187754076ebf5aa30d9dd6f213d;p=helm.git

diff --git a/helm/software/helena/src/modules.ml b/helm/software/helena/src/modules.ml
index c6767aae7..f8623ce70 100644
--- a/helm/software/helena/src/modules.ml
+++ b/helm/software/helena/src/modules.ml
@@ -50,9 +50,11 @@ module BR = BrgReduction
 module BT = BrgType
 module BV = BrgValidity
 module BU = BrgUntrusted
-module BG = BrgGrafite (**)
-module BA = BrgGallina (**)
-module BP = BrgELPI (**)
+module BM = BrgMatita
+module BQ = BrgCoq
+module BH = BrgHelena
+module BP = BrgPTS
+module BY = BrgLYP
 
 module Z  = Bag
 module ZD = BrgCrg