]> matita.cs.unibo.it Git - helm.git/blob - helm/software/helena/src/modules.ml
refactoring ...
[helm.git] / helm / software / helena / src / modules.ml
1 (* free = F I M P U V *)
2
3 module U  = NUri
4 module K  = NUri.UriHash
5
6 module C  = cps
7 module W  = share (**)
8 module L  = log
9 module Y  = time (**)
10
11 module H  = hierarchy
12 module N  = level
13 module E  = entity
14 module G  = options
15 module O  = output
16 module J  = marks (**)
17 module R  = alpha
18 module Q  = ccs
19 module S  = status
20
21 module D  = crg
22 module DO = crgOutput
23
24 module T  = txt
25 module TP = txtParser
26 module TL = txtLexer
27 module TT = txtTxt
28 module TD = txtCrg
29
30 module A  = aut
31 module AA = autProcess
32 module AO = autOutput
33 module AP = autParser
34 module AL = autLexer
35 module AD = autCrg
36
37 module XL = xmlLibrary
38 module XD = xmlCrg
39
40 module B  = brg
41 module BD = brgCrg
42 module BO = brgOutput
43 module BE = brgEnvironment
44 module BS = brgSubstitution
45 module BR = brgReduction
46 module BT = brgType
47 module BU = brgUntrusted
48
49 module Z  = bag
50 module ZD = brgCrg
51 module ZO = bagOutput
52 module ZE = bagEnvironment
53 module ZS = bagSubstitution
54 module ZR = bagReduction 
55 module ZT = bagType
56 module ZU = bagUntrusted
57 (*
58             top
59 *)