X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Ftheory_pres.xsl;h=47b2622c86b93c9751f72623f7f1f1186d3005bf;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=e2745fd0625c3c4a01734e16714bec1cd64d0aa7;hpb=98bebe823e0b925f5b4bd3b0c70f1a966ae12758;p=helm.git diff --git a/helm/style/theory_pres.xsl b/helm/style/theory_pres.xsl index e2745fd06..47b2622c8 100644 --- a/helm/style/theory_pres.xsl +++ b/helm/style/theory_pres.xsl @@ -31,7 +31,7 @@ + xmlns:ht="http://www.cs.unibo.it/helm/namespaces/helm-theory"> - - - - -

THEORY

- -

END THEORY

- - + + - -

BEGIN SECTION

+ +

BEGIN MUTUAL DEFINITIONS

END SECTION

END MUTUAL DEFINITIONS

+ + + + + : + + + + + + + + + + + + +

+ Object +

+ + + + + + + + + + + +

+ : +

+ + + + + + + + + + + +

+ : +

- -

- + +Inductive DefinitionCoInductive DefinitionRecord DefinitionDefinition + + + + + + + + +

+ : +

- -

- + + + + + + +