2 commits

Author	SHA1	Message	Date
Leonardo de Moura	9ccd8ff700	feat(library/data/nat/parity): cleanup proofs	2015-07-05 09:35:15 -07:00
Leonardo de Moura	30ef971bc0	feat(library/data/nat): add basic facts about parity	2015-07-03 17:38:23 -07:00