Fair Value Measurements (Details 2) (USD $) In Millions, unless otherwise specified	3 Months Ended	9 Months Ended
Apr. 30, 2013	Apr. 30, 2012	Apr. 30, 2013	Apr. 30, 2012
Reconciliation of activity for Level 3 assets
Beginning balance			$ 41
Settlements at par			(8)
Ending balance	33		33
Goodwill and intangible asset impairment charge	46	0	46	0
Municipal auction rate securities \| Fair Value, Measurements, Recurring
Reconciliation of activity for Level 3 assets
Decrease in fair value of municipal auction rate securities	$ 0		$ 0

This item represents the gross unrealized losses for securities, at a point in time, which are categorized neither as held-to-maturity nor trading securities.

No definition available.

+ Details

Name:	us-gaap_AvailableForSaleSecuritiesGrossUnrealizedLosses1
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

- Details

Name:	us-gaap_FairValueAssetsMeasuredOnRecurringBasisUnobservableInputReconciliationCalculationRollForward
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

- Definition

Amount of purchases, sales, issues, and settlements (net) which have taken place in relation to assets measured at fair value on a recurring basis using unobservable inputs (level 3).

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name Statement of Financial Accounting Standard (FAS)

-Number 157

-Paragraph 32

-Subparagraph c(2)

-LegacyDoc This reference is SUPERSEDED by the Accounting Standards Codification effective for interim and annual periods ending after September 15, 2009. This reference is included to help users transition from the previous accounting hierarchy and will be removed from future versions of this taxonomy.

+ Details

Name:	us-gaap_FairValueMeasurementWithUnobservableInputsReconciliationRecurringBasisAssetPurchasesSalesIssuancesSettlements
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

- Definition

This element represents an asset measured at fair value using significant unobservable inputs (Level 3) which is required for reconciliation purposes of beginning and ending balances.

+ References

Reference 1: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name Accounting Standards Codification

-Topic 820

-SubTopic 10

-Section 50

-Paragraph 2

-Subparagraph (c)

-URI http://asc.fasb.org/extlink&oid=7578670&loc=d3e19207-110258

Reference 2: http://www.xbrl.org/2003/role/presentationRef

-Publisher FASB

-Name Statement of Financial Accounting Standard (FAS)

-Number 157

-Paragraph 32

-Subparagraph c

-LegacyDoc This reference is SUPERSEDED by the Accounting Standards Codification effective for interim and annual periods ending after September 15, 2009. This reference is included to help users transition from the previous accounting hierarchy and will be removed from future versions of this taxonomy.

+ Details

Name:	us-gaap_FairValueMeasurementWithUnobservableInputsReconciliationRecurringBasisAssetValue
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

- Definition

Total loss recognized during the period from the impairment of goodwill plus the loss recognized in the period resulting from the impairment of the carrying amount of intangible assets, other than goodwill.

+ References

No definition available.

+ Details

Name:	us-gaap_GoodwillAndIntangibleAssetImpairment
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration