Long-Term Obligations (Details) (USD $) In Millions, unless otherwise specified	3 Months Ended
	Oct. 31, 2013	Oct. 31, 2012	Jul. 31, 2013	Mar. 12, 2007 5.75 percent fixed-rate notes due 2017 [Member]
Long Term Obligations (Textuals)
Senior notes				$ 500
Senior notes, rate				5.75%
Cash paid for interest on the Notes	14	14
Other long-term obligations
Deferred Rent Credit	55		55
Total license fee payable	49		48
Long-term income tax liabilities	38		38
Long-term deferred revenue	18		32
Long-term deferred income tax liabilities	43		6
Other	7		7
Total long-term obligations	210		186
Less current portion (included in other current liabilities)	(18)		(19)
Long-term obligations due after one year	$ 192		$ 167