Long-Term Obligations (Tables)

3 Months Ended

Oct. 31, 2012

Long-Term Obligations [Abstract]

Other long-term obligations

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

(In millions)	October 31, 2012			July 31, 2012
Total license fee payable	$	55		$	54
Total deferred rent	53			53
Long-term deferred revenue	40			42
Long-term income tax liabilities	42			41
Other	5			5
Total long-term obligations	195			195
Less current portion (included in other current liabilities)	(19		)	(19		)
Long-term obligations due after one year	$	176		$	176