-(* 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
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
module T = Txt
module TP = TxtParser
module TL = TxtLexer
-module TT = TxtTxt
module TD = TxtCrg
module A = Aut
module BT = BrgType
module BV = BrgValidity
module BU = BrgUntrusted
-module BG = BrgGrafite
+module BM = BrgMatita
+module BQ = BrgCoq
+module BH = BrgHelena
+module BP = BrgPTS
+module BY = BrgLYP
module Z = Bag
module ZD = BrgCrg