4 Commits

Author	SHA1	Message	Date
Louis Dionne	9895803ede	Bump copyright year to 2017	2017-01-07 14:14:18 -08:00
Louis Dionne	23c3edc93b	[NFC] Un-Doxygenize comments in non-header files	2016-02-04 11:07:41 -05:00
Louis Dionne	c41a5cb6be	Update copyright notices for 2016	2016-01-01 14:54:06 -05:00
Louis Dionne	41c64b39a9	[IntegralDomain] Rename quot/rem to div/mod ... Fixes #180	2015-09-14 14:18:29 -04:00