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

getxml?uri=

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

- +