X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fmodules.ml;h=72895c06f22c534db93c8e4df5a63d977eb3244e;hb=1b4d894e7349bba991823249f1716fb8f18239b7;hp=3de74e13f0944d800d13c39d178f4fd69e99e39c;hpb=9935a5bf5bdc98ad01a2b0234cf4e612a62c939f;p=helm.git

diff --git a/helm/software/helena/src/modules.ml b/helm/software/helena/src/modules.ml
index 3de74e13f..72895c06f 100644
--- a/helm/software/helena/src/modules.ml
+++ b/helm/software/helena/src/modules.ml
@@ -2,7 +2,10 @@
 
 module KF = Filename
 module KH = Hashtbl
+module KL = List
 module KP = Printf
+module KS = Scanf
+module KT = String
 
 module U  = NUri
 module UH = NUri.UriHash
@@ -26,7 +29,6 @@ module DO = CrgOutput
 module T  = Txt
 module TP = TxtParser
 module TL = TxtLexer
-module TT = TxtTxt
 module TD = TxtCrg
 
 module A  = Aut
@@ -48,7 +50,9 @@ module BR = BrgReduction
 module BT = BrgType
 module BV = BrgValidity
 module BU = BrgUntrusted
-module BG = BrgGrafite
+module BG = BrgGrafite (**)
+module BA = BrgGallina (**)
+module BP = BrgLP
 
 module Z  = Bag
 module ZD = BrgCrg