X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fnlibrary%2Ftopology%2Fpreamble.xml;h=3a1892cd44436b4830eeccfb27d27a29988ed349;hb=23a000715f1d3961b1b4a7efcf1870772d9bec93;hp=ffb7483ec3b73ea14a78ec9c535686c241dbbc77;hpb=bee436af0c6ceb1c83259c94036df8b12f901f2d;p=helm.git diff --git a/helm/software/matita/nlibrary/topology/preamble.xml b/helm/software/matita/nlibrary/topology/preamble.xml index ffb7483ec..3a1892cd4 100644 --- a/helm/software/matita/nlibrary/topology/preamble.xml +++ b/helm/software/matita/nlibrary/topology/preamble.xml @@ -4,23 +4,30 @@ + + + + - +