X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Ftheory_pres.xsl;h=5d60b9efafabab4fc77e85ab0153498123b8c184;hb=e1d232bab1b061d9098fd666ca24bed84b38f99e;hp=f8ade2a8222745dec2b1c099bc062b3ab9b905cb;hpb=ef35bce6975cc94557ecdce77a2d7fb4dd8adb4c;p=helm.git diff --git a/helm/style/theory_pres.xsl b/helm/style/theory_pres.xsl index f8ade2a82..5d60b9efa 100644 --- a/helm/style/theory_pres.xsl +++ b/helm/style/theory_pres.xsl @@ -1,5 +1,29 @@ + + + + + + + + + + + + + + + + + + + + + + + + @@ -9,7 +33,13 @@ - + + @@ -18,18 +48,28 @@ - BEGIN SECTION +

BEGIN SECTION

- END SECTION +

END SECTION

- BEGIN SECTION +

BEGIN SECTION

- END SECTION +

END SECTION

 + + + + + + + + + +