src/HOL/Number_Theory/Gauss.thy
2014-09-09 blanchet 2014-09-09 avoid internal fact
2014-07-04 haftmann 2014-07-04 reduced name variants for assoc and commute on plus and mult
2014-06-28 haftmann 2014-06-28 fact consolidation
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)