X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fmodules.ml;h=72895c06f22c534db93c8e4df5a63d977eb3244e;hb=4e75ab41fb7a0a9a4f66cb777a791ce3950c57ce;hp=6f795219f271605536fca588af7e9f29859fe824;hpb=f72311aa07e71090a24eef9e4fb97cc2e95e6b16;p=helm.git

diff --git a/helm/software/helena/src/modules.ml b/helm/software/helena/src/modules.ml
index 6f795219f..72895c06f 100644
--- a/helm/software/helena/src/modules.ml
+++ b/helm/software/helena/src/modules.ml
@@ -1,22 +1,27 @@
-(* free = F I M P U V *)
+(* free = F I J M Q U V W *)
+
+module KF = Filename
+module KH = Hashtbl
+module KL = List
+module KP = Printf
+module KS = Scanf
+module KT = String
 
 module U  = NUri
-module K  = NUri.UriHash
+module UH = NUri.UriHash
 
 module C  = Cps
-module W  = Share (**)
+module S  = Share
 module L  = Log
 module Y  = Time (**)
+module P  = Marks
 
+module G  = Options
 module H  = Hierarchy
-module N  = Level
+module N  = Layer
 module E  = Entity
-module G  = Options
 module O  = Output
-module J  = Marks (**)
 module R  = Alpha
-module Q  = Ccs
-module S  = Status
 
 module D  = Crg
 module DO = CrgOutput
@@ -24,7 +29,6 @@ module DO = CrgOutput
 module T  = Txt
 module TP = TxtParser
 module TL = TxtLexer
-module TT = TxtTxt
 module TD = TxtCrg
 
 module A  = Aut
@@ -46,6 +50,9 @@ module BR = BrgReduction
 module BT = BrgType
 module BV = BrgValidity
 module BU = BrgUntrusted
+module BG = BrgGrafite (**)
+module BA = BrgGallina (**)
+module BP = BrgLP
 
 module Z  = Bag
 module ZD = BrgCrg