X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fcontent_to_html.xsl;fp=helm%2Fstyle%2Fcontent_to_html.xsl;h=0000000000000000000000000000000000000000;hb=fa11ed6dc134f8ad3421c37a97271018e075bbed;hp=dd1c0779482e712b80130c6f8807266e823ab1ea;hpb=c03d2c1fdab8d228cb88aaba5ca0f556318bebc5;p=helm.git diff --git a/helm/style/content_to_html.xsl b/helm/style/content_to_html.xsl deleted file mode 100644 index dd1c07794..000000000 --- a/helm/style/content_to_html.xsl +++ /dev/null @@ -1,657 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - P - - : - - -
- - - - . - - - - - - - P - - : - - . - - - - - - - - ( - - - -
- - - - - ® - - - - ) - - - ( - - - ® - - ) - - - - - - - ( - - - - -
- - - - - - - - ) - - - ( - - - - - - ) - - - - - - - - - ( - - -
- - - :> - - - - ) - - - ( - - :> - - ) - - - - - - - - - - - - Prop - - - Set - - - Type - - - - - < - - - - > - CASE - - - - OF - -
- - - - - - - - - | - - - - Þ - - - - - - - < - - > - CASE - - OF - - - - | - - - - Þ - - - - - - - - - - - FIX - - { - -
- - - - - : - - - -
- - - - := - - - - -
- - - - } - - - FIX - - { - - - : - - := - - - - } - - - ; - - - - - - - - - - COFIX - - { -
- - - - - - : - - - -
- - - - := - - - - - -
- - - - } - - - COFIX - - { - - - : - - := - - - - } - - - ; - - - - - - - - - - - - - - - - - - - - - - - l - - : - - -
- - - - . - - - - - - - l - - : - - . - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

- - - - - - - - - - - - - - - - - - - - - - -

- - -

- - - - - - - - - - - - - - - - - - - - - - - - - - -

-DEFINITION ()
-TYPE =
- - - - - -
-BODY =
- - - - - - -

- - - - - - -

-AXIOM ()
-TYPE = - - -

- - - - - - -

-UNFINISHED PROOF ()
-THESIS: - -
-CONJECTURES: - -
- - - - : - - - - -
-PROOF: - - - -

- - - - - - -

- - - - - - INDUCTIVE DEFINITION - - - COINDUCTIVE DEFINITION - - - - - AND - - - () - [ - - - - : - - - - ]
- OF ARITY - - -
- BUILT FROM: - -
- - - - - - - - - | - - - - : - - - - - -

- - - - - - -

-VARIABLE
-TYPE = - - -

- - - - - - - - - - -

BEGIN OF SECTION

- -

END OF SECTION

- - -