X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Fmodules.ml;h=9fbb2cdf7008671373e3fedfd3834bad3a8d0832;hb=cb3e2526b3788172cf4a11e4c0082c12e8d233d0;hp=7fad8b893f810170e8fd29561c56c322c861034a;hpb=673c78501a9e71ac5f897d2ba78f3591de8db876;p=helm.git

diff --git a/helm/software/lambda-delta/src/modules.ml b/helm/software/lambda-delta/src/modules.ml
index 7fad8b893..9fbb2cdf7 100644
--- a/helm/software/lambda-delta/src/modules.ml
+++ b/helm/software/lambda-delta/src/modules.ml
@@ -1,43 +1,38 @@
-(* free = F I N P Q U V W *)
+(* free = F I M P U V *)
 
 module U  = NUri
 module K  = NUri.UriHash
 
 module C  = cps
-module S  = share
+module W  = share (**)
 module L  = log
 module Y  = time (**)
 
-module G  = options
 module H  = hierarchy
-module O  = output
+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 Z  = bag
-module ZO = bagOutput
-module ZE = bagEnvironment
-module ZS = bagSubstitution
-module ZR = bagReduction 
-module ZT = bagType
-module ZU = bagUntrusted
-
-module D  = crg
-module DO = crgOutput
-module TD = crgTxt
-module AD = crgAut
+module AD = autCrg
 
 module XL = xmlLibrary
 module XD = xmlCrg
@@ -51,11 +46,14 @@ module BR = brgReduction
 module BT = brgType
 module BU = brgUntrusted
 
-module M  = meta
-module MO = metaOutput
-module MA = metaAut
-module MZ = metaBag
-module MB = metaBrg
+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
 *)