X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Fmodules.ml;fp=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Fmodules.ml;h=f48cf6ffc856023e2b58f9cb12e0f35aaed22352;hb=39b42ed90bc74c8b6293842f1ac4aca60fc0c37e;hp=0000000000000000000000000000000000000000;hpb=bb2a0b22a2c38b59ca664b550f34e5e40e6f04c7;p=helm.git

diff --git a/helm/software/lambda-delta/src/modules.ml b/helm/software/lambda-delta/src/modules.ml
new file mode 100644
index 000000000..f48cf6ffc
--- /dev/null
+++ b/helm/software/lambda-delta/src/modules.ml
@@ -0,0 +1,62 @@
+(* free = F I N P Q U V W *)
+
+module U  = NUri
+module K  = NUri.UriHash
+
+module C  = cps
+module S  = share
+module L  = log
+module Y  = time (**)
+
+module G  = options
+module H  = hierarchy
+module O  = output
+module E  = entity
+module J  = marks (**)
+module R  = alpha
+
+module T  = txt
+module TP = txtParser
+module TL = txtLexer
+module TT = txtTxt
+
+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 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 BU = brgUntrusted
+
+module M  = meta
+module MO = metaOutput
+module ML = metaLibrary
+module MA = metaAut
+module MZ = metaBag
+module MB = metaBrg
+(*
+            top
+*)