updat readme
minor
fix doc
GuardIO -> LObj
remove forkLIO
Fix quickcheck-lio-instances
A forkLIO that might actually fork a thread...
MintTCB -> PrivTCB
principal :: String -> Principal
Merge branch 'master' of github.com:scslab/lio
fix comment
make Bool an instance of ToComponent, based on a posteriori experience
MintTCB -> PrivTCB in examples & tests
%% operator for creating dclabels
Merge branch 'master' of github.com:scslab/lio
Doc nits
Make DCPrivs into a ToComponent as well
Muck with show instances in DCLabels
Merge branch 'master' of github.com:scslab/lio
doc fixes, plus nuke everybody/anybody.