X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Ficons%2Ftheory.png;fp=helm%2Fon-line%2Ficons%2Ftheory.png;h=0000000000000000000000000000000000000000;hb=9a9c95ebabbb1d4d7dce627ed1baea130ea98766;hp=389152ef306f55bf5322ad4102da6526e33e2f79;hpb=76ad23ea1e83e8c187a4593027e9baed1bb022e3;p=helm.git

diff --git a/helm/on-line/icons/theory.png b/helm/on-line/icons/theory.png
deleted file mode 100644
index 389152ef3..000000000
Binary files a/helm/on-line/icons/theory.png and /dev/null differ