Quarterly report pursuant to Section 13 or 15(d)

Royalty and licensing income (Details)

v2.4.0.8
Royalty and licensing income (Details) (USD $)
In Millions, unless otherwise specified
3 Months Ended 6 Months Ended
Jan. 31, 2014
Jan. 31, 2013
Jan. 31, 2014
Jan. 31, 2013
Royalty and licensing income (Details) [Line Items]        
Patent Expiration Date     Apr. 24, 2018  
Life Sciences [Member]
       
Royalty and licensing income (Details) [Line Items]        
Royalty Revenue $ 1.0 $ 1.0 $ 2.6 $ 3.0