在thinkphp框架中有如下几句代码：
namespace Admin\Controller;
use Think\Controller;
class IndexController extends Controller {
说明在ThinkPHP\Library\Think\Controller文件夹里有Controller.class.php类文件，但我怎么找也找不到这个文件。请问Controller.class.php类文件在什么地方？