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