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

BEGIN SECTION

- END SECTION +

END SECTION

- BEGIN SECTION +

BEGIN SECTION

- END SECTION +

END SECTION

+ + + + + + + + + +