Business Segment Information - Revenue from External Customers by Geographic Areas (Detail)	12 Months Ended
	Jul. 31, 2014	Jul. 31, 2013	Jul. 31, 2012
Outside of the United States[Member]
Revenue, Major Customer [Line Items]
Percentage of revenue from external customers	30.00%	23.00%	29.00%
United Kingdom [Member]
Revenue, Major Customer [Line Items]
Percentage of revenue from external customers	19.00%	13.00%	14.00%