¿Cómo se supone que debe usarse la plantilla cart.php de WooCommerce?

Tengo una instalación nueva de WordPress 3.5 y WooCommerce 1.6.6 (WC de ahora en adelante) y estoy usando el tema predeterminado Twenty Twelve.

Agregué un Producto a WC y al ver ese producto usando el plugin Debug Bar Template Trace puedo ver que se utiliza la plantilla woocommerce/templates/single-product.php. Sin embargo, si veo la página del Carrito, que fue generada automáticamente por WooCommerce, usa la plantilla twentytwelve/page.php y no la plantilla woocommerce/templates/cart/cart.php, lo cual me resultó sorprendente.

Estoy un poco confundido con este resultado. ¿No se supone que la plantilla cart.php debería usarse para la página del Carrito? Si no es así, ¿para qué sirve esa plantilla y bajo qué circunstancias la utiliza WC?