FormalTheory/test/bootstrap.php

<?php

require_once( dirname( __FILE__ )."/../lib/FormalTheory/Autoload.php" );

FormalTheory_Autoload::register();

?>