Long-Term Obligations (Tables)

6 Months Ended

Jan. 31, 2013

Long-Term Obligations [Abstract]

Other long-term obligations

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

(In millions)	January 31, 2013			July 31, 2012
Total license fee payable	$	56		$	54
Total deferred rent	55			53
Long-term deferred revenue	45			42
Long-term income tax liabilities	43			41
Long-term deferred income tax liabilities	15			—
Other	7			5
Total long-term obligations	221			195
Less current portion (included in other current liabilities)	(19		)	(19		)
Long-term obligations due after one year	$	202		$	176