X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fnlibrary%2Ftopology%2Fpreamble.xml;h=3e76da66b33c4c803ee137f5590bd9e4040fc69c;hb=e008452eb6b63f53b4eafc13853f7521d411dd00;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..3e76da66b 100644
--- a/helm/software/matita/nlibrary/topology/preamble.xml
+++ b/helm/software/matita/nlibrary/topology/preamble.xml
@@ -3,24 +3,59 @@
+
+
+
+
-
+