588e7653cf4cd4a5175739e0310013d7ba130b8c |
|
07-Aug-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
use operators +, -, * provided by class num
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17136 cec4b9c1-7d33-0410-9eda-942365e851bb |