(* 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

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
*)