BoolTool renamed to Bool+Tool
thesis: corrections BoolTool