These files are from libc++, svn revision 194185, 2013-11-07.