-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 BP = BrgPTS
+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