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

diff --git a/helm/software/helena/src/modules.ml b/helm/software/helena/src/modules.ml
index 834a9a19f..dd8cd7358 100644
--- a/helm/software/helena/src/modules.ml
+++ b/helm/software/helena/src/modules.ml
@@ -1,4 +1,11 @@
-(* free = F I K M P Q U V W *)
+(* 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 UH = NUri.UriHash
@@ -7,9 +14,9 @@ module C  = Cps
 module S  = Share
 module L  = Log
 module Y  = Time (**)
+module P  = Marks
 
 module G  = Options
-module J  = Marks (**)
 module H  = Hierarchy
 module N  = Layer
 module E  = Entity
@@ -22,7 +29,6 @@ module DO = CrgOutput
 module T  = Txt
 module TP = TxtParser
 module TL = TxtLexer
-module TT = TxtTxt
 module TD = TxtCrg
 
 module A  = Aut
@@ -44,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