lean2/library/data/int/int.md

data.int
========

The integers.

* [basic](basic.lean) : the integers, with basic operations
* [order](order.lean) : the order relations and the sign function
* [div](div.lean)     : div, mod, gcd, lcm
feat(library/standard): port int, and reorganize a lot 2014-08-20 02:32:44 +00:00			`data.int`
			`========`

			`The integers.`

refactor(library/standard/data/int): split basic.lean into basic.lean and order.lean 2014-08-23 00:56:25 +00:00			`* [basic](basic.lean) : the integers, with basic operations`
			`* [order](order.lean) : the order relations and the sign function`
feat(library/data/int/div): start on div for integers 2015-02-25 19:39:17 +00:00			`* [div](div.lean) : div, mod, gcd, lcm`