X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fobjtheorycontent.xsl;h=5bad7e108109156abaa78a05e02ae0268902249e;hb=0c62b48dd8d961279e780f6fbc2a915d18b77b92;hp=3931e7532c428ade70c055b1e0a79e12f449d854;hpb=c60f8d1e3951c3efbfed0383a536dd3a1c5a9d9b;p=helm.git diff --git a/helm/style/objtheorycontent.xsl b/helm/style/objtheorycontent.xsl index 3931e7532..5bad7e108 100644 --- a/helm/style/objtheorycontent.xsl +++ b/helm/style/objtheorycontent.xsl @@ -33,53 +33,52 @@ xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:helm="http://www.cs.unibo.it/helm"> - - -

getxml?uri=

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

- +