3 Commits

Include renames

Author	SHA1	Message	Date
Peter Dimov	7a0f4001e7	Add mp_all, mp_and, mp_any, mp_or; move mp_not to integral.hpp.	2016-11-16 21:24:13 +02:00
Peter Dimov	12387884c5	Fix include order.	2015-07-15 23:52:39 +03:00
Peter Dimov	686e398e56	Initial commit.	2015-06-21 19:53:23 +03:00