]> matita.cs.unibo.it Git - helm.git/blob - helm/software/helena/src/modules.ml
- bug fix in the static disambiguation of unified binders
[helm.git] / helm / software / helena / src / modules.ml
1 (* free = F I K M P Q U V *)
2
3 module U  = NUri
4 module UH = NUri.UriHash
5
6 module C  = Cps
7 module W  = Share (**)
8 module L  = Log
9 module Y  = Time (**)
10
11 module G  = Options
12 module J  = Marks (**)
13 module H  = Hierarchy
14 module N  = Level
15 module E  = Entity
16 module O  = Output
17 module R  = Alpha
18 module S  = Status
19
20 module D  = Crg
21 module DO = CrgOutput
22
23 module T  = Txt
24 module TP = TxtParser
25 module TL = TxtLexer
26 module TT = TxtTxt
27 module TD = TxtCrg
28
29 module A  = Aut
30 module AA = AutProcess
31 module AO = AutOutput
32 module AP = AutParser
33 module AL = AutLexer
34 module AD = AutCrg
35
36 module XL = XmlLibrary
37 module XD = XmlCrg
38
39 module B  = Brg
40 module BD = BrgCrg
41 module BO = BrgOutput
42 module BE = BrgEnvironment
43 module BS = BrgSubstitution
44 module BR = BrgReduction
45 module BT = BrgType
46 module BV = BrgValidity
47 module BU = BrgUntrusted
48 module BG = BrgGrafite
49
50 module Z  = Bag
51 module ZD = BrgCrg
52 module ZO = BagOutput
53 module ZE = BagEnvironment
54 module ZS = BagSubstitution
55 module ZR = BagReduction 
56 module ZT = BagType
57 module ZU = BagUntrusted
58 (*
59             top
60 *)