jif.lang
Interfaces 
Closure
ConfPolicy
IntegPolicy
Label
Policy
Principal
Classes 
AbstractPolicy
ActsForProof
Capability
Closure_JIF_IMPL
ConjunctivePrincipal
DelegatesProof
DisjunctivePrincipal
FromDisjunctProof
JoinConfPolicy
JoinIntegPolicy
LabelUtil
MeetConfPolicy
MeetIntegPolicy
PairLabel
Principal_JIF_IMPL
PrincipalSet
PrincipalUtil
ReaderPolicy
ReflexiveProof
ToConjunctProof
TransitiveProof
WriterPolicy