X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Ftheory_pres.xsl;h=1595ee73acbab17be41c02d655738b7fa589b204;hb=04db412ba860d960ff486b37cc68e7f6e4f19c98;hp=5d60b9efafabab4fc77e85ab0153498123b8c184;hpb=ed5997c069d632999f6e970857cfa74c99f9c050;p=helm.git diff --git a/helm/style/theory_pres.xsl b/helm/style/theory_pres.xsl index 5d60b9efa..1595ee73a 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"> - - - - - - - -

BEGIN SECTION

- -

END SECTION

- - - - -

BEGIN SECTION

- -

END SECTION

- - + + - - + +

BEGIN MUTUAL DEFINITIONS

+ +

END MUTUAL DEFINITIONS

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