Tainted_prop.thy
2013-06-04 chunhan info_flow did NOT guarantee in current_procs
less more (0) tip