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

diff --git a/helm/software/helena/src/modules.ml b/helm/software/helena/src/modules.ml
index 207fcccda..dd8cd7358 100644
--- a/helm/software/helena/src/modules.ml
+++ b/helm/software/helena/src/modules.ml
@@ -1,60 +1,69 @@
-(* 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 C  = cps
-module W  = share (**)
-module L  = log
-module Y  = time (**)
-
-module H  = hierarchy
-module N  = level
-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
-
-module T  = txt
-module TP = txtParser
-module TL = txtLexer
-module TT = txtTxt
-module TD = txtCrg
-
-module A  = aut
-module AA = autProcess
-module AO = autOutput
-module AP = autParser
-module AL = autLexer
-module AD = autCrg
-
-module XL = xmlLibrary
-module XD = xmlCrg
-
-module B  = brg
-module BD = brgCrg
-module BO = brgOutput
-module BE = brgEnvironment
-module BS = brgSubstitution
-module BR = brgReduction
-module BT = brgType
-module BV = brgValid
-module BU = brgUntrusted
-
-module Z  = bag
-module ZD = brgCrg
-module ZO = bagOutput
-module ZE = bagEnvironment
-module ZS = bagSubstitution
-module ZR = bagReduction 
-module ZT = bagType
-module ZU = bagUntrusted
+module UH = NUri.UriHash
+
+module C  = Cps
+module S  = Share
+module L  = Log
+module Y  = Time (**)
+module P  = Marks
+
+module G  = Options
+module H  = Hierarchy
+module N  = Layer
+module E  = Entity
+module O  = Output
+module R  = Alpha
+
+module D  = Crg
+module DO = CrgOutput
+
+module T  = Txt
+module TP = TxtParser
+module TL = TxtLexer
+module TD = TxtCrg
+
+module A  = Aut
+module AA = AutProcess
+module AO = AutOutput
+module AP = AutParser
+module AL = AutLexer
+module AD = AutCrg
+
+module XL = XmlLibrary
+module XD = XmlCrg
+
+module B  = Brg
+module BD = BrgCrg
+module BO = BrgOutput
+module BE = BrgEnvironment
+module BS = BrgSubstitution
+module BR = BrgReduction
+module BT = BrgType
+module BV = BrgValidity
+module BU = BrgUntrusted
+module BM = BrgMatita
+module BQ = BrgCoq
+module BH = BrgHelena
+module BC = BrgCC
+module BY = BrgLYP
+
+module Z  = Bag
+module ZD = BrgCrg
+module ZO = BagOutput
+module ZE = BagEnvironment
+module ZS = BagSubstitution
+module ZR = BagReduction 
+module ZT = BagType
+module ZU = BagUntrusted
 (*
             top
 *)