Put theories in same folders as on AFP
Fixed latex error producing comments