Delete TypesConstsDefsAxsThms.xlsx

I replace it with Logic.xlsx