<?xml version="1.0" encoding="utf-8"?>
<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
 <url>
  <loc>http://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/index-seo.php</loc>
  <changefreq>daily</changefreq>
  <priority>0.8</priority>
 </url>
 <url>
  <loc>http://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/index.html</loc>
  <changefreq>daily</changefreq>
  <priority>0.8</priority>
 </url>
</urlset>
