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=0000000000000000000000000000000000000000;hb=95872555aaa040a22ad2d93cb1278f79e20da70c;hp=9fbb2cdf7008671373e3fedfd3834bad3a8d0832;hpb=4025c3f5b36025380dcad84bb7a97045d08652f6;p=helm.git

diff --git a/helm/software/lambda-delta/src/modules.ml b/helm/software/lambda-delta/src/modules.ml
deleted file mode 100644
index 9fbb2cdf7..000000000
--- a/helm/software/lambda-delta/src/modules.ml
+++ /dev/null
@@ -1,59 +0,0 @@
-(* free = F I M P U V *)
-
-module U  = NUri
-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 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
-(*
-            top
-*)