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=389152ef306f55bf5322ad4102da6526e33e2f79;hb=c649d815726087385d12e80a48ed63f0478d8075;hp=0000000000000000000000000000000000000000;hpb=92c3ae6c6161188f89cf78ae1e714985eb985fce;p=helm.git

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