4 Commits

Include renames

Author	SHA1	Message	Date
Peter Dimov	27d0d547ee	Add mp_is_set	2017-07-17 19:28:36 +03:00
Peter Dimov	a231733c7e	Move everything to namespace mp11	2017-03-15 21:23:15 +02:00
Peter Dimov	26575249ff	Add mp_set_contains, mp_set_push_back, mp_set_push_front.	2015-07-24 13:19:17 +03:00
Peter Dimov	a2dccfd6ae	Add skeleton headers for things not yet implemented.	2015-07-16 18:12:06 +03:00