X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fsoftware%2Fmatita%2Fnlibrary%2Ftopology%2Fpreamble.xml;h=018c0b44564953102c1f3c51836ddf4fe8c14539;hb=99c0c1171257384a8d9c1910a3b123fe91bfe29c;hp=bbba386e1034260d79ac403e174b9db59069ba3f;hpb=4286d368b6d902a4b54c4cf8590c387f2cdb90ea;p=helm.git diff --git a/helm/software/matita/nlibrary/topology/preamble.xml b/helm/software/matita/nlibrary/topology/preamble.xml index bbba386e1..018c0b445 100644 --- a/helm/software/matita/nlibrary/topology/preamble.xml +++ b/helm/software/matita/nlibrary/topology/preamble.xml @@ -3,19 +3,60 @@
+ + + + - +