src/HOL/Number_Theory/Gauss.thy
2014-04-12 nipkow 2014-04-12 made mult_pos_pos a simp rule
2014-02-24 paulson 2014-02-24 Gauss.thy ported from Old_Number_Theory (unfinished)