Polévka z hub a zeleniny

3 lžíce olivového oleje
1 velká cibule
4 stroužky česneku
1/2 hrnku hub
1 mrkev
1 petržel
700g zelí hlávkové
1/2 kopru
2 rajčata
sůl