refactoring ...

[helm.git] / helm / software / lambda-delta / src / modules.ml

diff --git a/helm/software/lambda-delta/src/modules.ml b/helm/software/lambda-delta/src/modules.ml
deleted file mode 100644 (file)
index 9fbb2cd..0000000
--- 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
-*)