These files are from libc++, svn revision 178253, Mar 29 2013