src/HOL/Library/normarith.ML
2009-02-09 chaieb 2009-02-09 Fixed theorem reference
2009-02-09 chaieb 2009-02-09 A generic decision procedure for linear rea arithmetic and normed vector spaces