X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fxslt%2Fls2theory.xsl;h=5d5186532379c3c62b07b388847a509327e5d48b;hb=0224ce3e20ff502b7ce04865bc23ed99a47c764d;hp=210ab768bb8fff5d3c4a44265969587bd1014197;hpb=d8b76c102e4f540c3ecfa550267331a7a72810c2;p=helm.git diff --git a/helm/on-line/xslt/ls2theory.xsl b/helm/on-line/xslt/ls2theory.xsl index 210ab768b..5d5186532 100644 --- a/helm/on-line/xslt/ls2theory.xsl +++ b/helm/on-line/xslt/ls2theory.xsl @@ -9,33 +9,53 @@ +
    + + + + + + + +
-
  • - + @@ -44,11 +64,25 @@ -
  • - - - -
    • + + +
  • + + + +
    • +     + +
  • + + + +
    • +     +