Long-Term Obligations (Tables)

9 Months Ended

Apr. 30, 2013

Long-Term Obligations [Abstract]

Other long-term obligations

Other long-term obligations were as follows at the dates indicated:

(In millions)	April 30, 2013			July 31, 2012
Total deferred rent	$	55		$	53
Total license fee payable	47			54
Long-term deferred revenue	43			42
Long-term income tax liabilities	36			41
Long-term deferred income tax liabilities	16			—
Other	7			5
Total long-term obligations	204			195
Less current portion (included in other current liabilities)	(9		)	(19		)
Long-term obligations due after one year	$	195		$	176