X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fmodules.ml;h=dd8cd73583de4f593ed4f1a852b477bde664f1bd;hb=88977b2d546e547e23b046792fe2ad8f6ff192a4;hp=72e1a74938d4c460a5cdc0da67f7560fb1a74210;hpb=edf9e34100f49d4aa5ba8f3ce53e34af7718d88e;p=helm.git

diff --git a/helm/software/helena/src/modules.ml b/helm/software/helena/src/modules.ml
index 72e1a7493..dd8cd7358 100644
--- a/helm/software/helena/src/modules.ml
+++ b/helm/software/helena/src/modules.ml
@@ -50,7 +50,11 @@ module BR = BrgReduction
 module BT = BrgType
 module BV = BrgValidity
 module BU = BrgUntrusted
-module BG = BrgGrafite
+module BM = BrgMatita
+module BQ = BrgCoq
+module BH = BrgHelena
+module BC = BrgCC
+module BY = BrgLYP
 
 module Z  = Bag
 module ZD = BrgCrg