helena: updated prolog exportation to ld3 and ALT-0/PTS

[helm.git] / helm / software / helena / src / modules.ml

diff --git a/helm/software/helena/src/modules.ml b/helm/software/helena/src/modules.ml
index 72895c06f22c534db93c8e4df5a63d977eb3244e..f8623ce7080834fece00e977325ddeb368f897af 100644 (file)
--- 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 = BrgLP
+module BM = BrgMatita
+module BQ = BrgCoq
+module BH = BrgHelena
+module BP = BrgPTS
+module BY = BrgLYP
 
 module Z  = Bag
 module ZD = BrgCrg