X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fobjtheorycontent.xsl;h=5bad7e108109156abaa78a05e02ae0268902249e;hb=9d35b4005007408a49a76864302f03db8aa7789a;hp=35444996288a0afe3d1e99a4881b205678992077;hpb=d42f916052e67304e8b46e537b9a4bbaf2c2607e;p=helm.git diff --git a/helm/style/objtheorycontent.xsl b/helm/style/objtheorycontent.xsl index 354449962..5bad7e108 100644 --- a/helm/style/objtheorycontent.xsl +++ b/helm/style/objtheorycontent.xsl @@ -35,50 +35,50 @@ + -

getxml?uri=

- - + + - + - + + + - - - + - + - +

- +