X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fobjtheorycontent.xsl;h=5bad7e108109156abaa78a05e02ae0268902249e;hb=2208a75027ccad441dc0778101f57eff9555f8ea;hp=a4937460a1f48aadc42a41e6e5511fd1c53d8ee7;hpb=b72beb68cf0c34cb0785ad7e2a4c426494e29e6a;p=helm.git diff --git a/helm/style/objtheorycontent.xsl b/helm/style/objtheorycontent.xsl index a4937460a..5bad7e108 100644 --- a/helm/style/objtheorycontent.xsl +++ b/helm/style/objtheorycontent.xsl @@ -33,7 +33,7 @@ xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:helm="http://www.cs.unibo.it/helm"> - + @@ -43,42 +43,42 @@ - - + + - + - + + + - - - + - + - +

- +