From c7b7fb84e411b6274121977ada67113352f98d0e Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 6 Feb 2001 12:26:06 +0000 Subject: [PATCH] No more used and soon no more working due to changes to the http_getter --- .../annotatedcont.xsl | 73 - .../annotatedpres.xsl | 34 - .../basic.xsl | 253 --- .../content.xsl | 215 -- .../content_to_html.xsl | 657 ------ .../html_init.xsl | 259 --- .../html_reals.xsl | 234 -- .../html_set.xsl | 463 ---- .../mml2mmlv1_0.xsl | 1957 ----------------- .../mml2mmlv1_0_original.xsl | 1848 ---------------- .../mmlextension.xsl | 1128 ---------- .../objcontent.xsl | 232 -- .../params.xsl | 191 -- .../reals.xsl | 277 --- .../ricerca.xsl | 91 - .../rootcontent.xsl | 26 - .../roottheory.xsl | 22 - .../set.xsl | 487 ---- .../theory_content.xsl | 57 - .../theory_pres.xsl | 34 - 20 files changed, 8538 deletions(-) delete mode 100644 helm/style/style_prima_del_linguaggio_naturale/annotatedcont.xsl delete mode 100644 helm/style/style_prima_del_linguaggio_naturale/annotatedpres.xsl delete mode 100644 helm/style/style_prima_del_linguaggio_naturale/basic.xsl delete mode 100644 helm/style/style_prima_del_linguaggio_naturale/content.xsl delete mode 100644 helm/style/style_prima_del_linguaggio_naturale/content_to_html.xsl delete mode 100644 helm/style/style_prima_del_linguaggio_naturale/html_init.xsl delete mode 100644 helm/style/style_prima_del_linguaggio_naturale/html_reals.xsl delete mode 100644 helm/style/style_prima_del_linguaggio_naturale/html_set.xsl delete mode 100644 helm/style/style_prima_del_linguaggio_naturale/mml2mmlv1_0.xsl delete mode 100644 helm/style/style_prima_del_linguaggio_naturale/mml2mmlv1_0_original.xsl delete mode 100644 helm/style/style_prima_del_linguaggio_naturale/mmlextension.xsl delete mode 100644 helm/style/style_prima_del_linguaggio_naturale/objcontent.xsl delete mode 100644 helm/style/style_prima_del_linguaggio_naturale/params.xsl delete mode 100644 helm/style/style_prima_del_linguaggio_naturale/reals.xsl delete mode 100644 helm/style/style_prima_del_linguaggio_naturale/ricerca.xsl delete mode 100644 helm/style/style_prima_del_linguaggio_naturale/rootcontent.xsl delete mode 100644 helm/style/style_prima_del_linguaggio_naturale/roottheory.xsl delete mode 100644 helm/style/style_prima_del_linguaggio_naturale/set.xsl delete mode 100644 helm/style/style_prima_del_linguaggio_naturale/theory_content.xsl delete mode 100644 helm/style/style_prima_del_linguaggio_naturale/theory_pres.xsl diff --git a/helm/style/style_prima_del_linguaggio_naturale/annotatedcont.xsl b/helm/style/style_prima_del_linguaggio_naturale/annotatedcont.xsl deleted file mode 100644 index e97d08f2b..000000000 --- a/helm/style/style_prima_del_linguaggio_naturale/annotatedcont.xsl +++ /dev/null @@ -1,73 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/helm/style/style_prima_del_linguaggio_naturale/annotatedpres.xsl b/helm/style/style_prima_del_linguaggio_naturale/annotatedpres.xsl deleted file mode 100644 index 511f915f5..000000000 --- a/helm/style/style_prima_del_linguaggio_naturale/annotatedpres.xsl +++ /dev/null @@ -1,34 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/helm/style/style_prima_del_linguaggio_naturale/basic.xsl b/helm/style/style_prima_del_linguaggio_naturale/basic.xsl deleted file mode 100644 index 3f5422a72..000000000 --- a/helm/style/style_prima_del_linguaggio_naturale/basic.xsl +++ /dev/null @@ -1,253 +0,0 @@ - - - - - - - - - - - - - - -http://localhost:8081/get?url= - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - $x - - - app - - $x - - - - - - - - - - - - - - - - - - - - - - - - - app - - - - - - - - - - - - - - - - app - - - - - - - - - x - - - - app - - x - - - - app - - x - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/helm/style/style_prima_del_linguaggio_naturale/content.xsl b/helm/style/style_prima_del_linguaggio_naturale/content.xsl deleted file mode 100644 index 7de998720..000000000 --- a/helm/style/style_prima_del_linguaggio_naturale/content.xsl +++ /dev/null @@ -1,215 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - -http://localhost:8081/get?url= - - - - - - - - - - - - - - - - - - - - - - arrow - - - - prod - - - - - - - - - - - - - - - - - cast - - - - - - - - - - - - - - - - - - - - - app - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - mutcase - - - - - - - - - - - - - - - app - - - - LAMBDA - - - - LAMBDA - - - - - - - - fix - - - - - - - - - cofix - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/helm/style/style_prima_del_linguaggio_naturale/content_to_html.xsl b/helm/style/style_prima_del_linguaggio_naturale/content_to_html.xsl deleted file mode 100644 index dd1c07794..000000000 --- a/helm/style/style_prima_del_linguaggio_naturale/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

-
- -
diff --git a/helm/style/style_prima_del_linguaggio_naturale/html_init.xsl b/helm/style/style_prima_del_linguaggio_naturale/html_init.xsl deleted file mode 100644 index 9e81b169c..000000000 --- a/helm/style/style_prima_del_linguaggio_naturale/html_init.xsl +++ /dev/null @@ -1,259 +0,0 @@ - - - - - - - - - -http://localhost:8081/get?url= - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - ( - - - -
- - - - - - - - - - - - - - - ) -
- - ( - - - - - - - - - - - ) - -
-
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - ( - - - -
- - - - - - - - - - - - - - ) -
- - ( - - - - - - - - - - ) - -
-
-
-
- - - - - - - - - - - - - - Ø - - - - - - - - - - - - - - - - - - - - - - $ - - - : - - - -
- - - - . - - - -
- - - - - - $ - - - : - - . - - - - -
-
- - - - - - - - - - - - - - - - - - - - - - - - - - -
- - diff --git a/helm/style/style_prima_del_linguaggio_naturale/html_reals.xsl b/helm/style/style_prima_del_linguaggio_naturale/html_reals.xsl deleted file mode 100644 index 04ff478c5..000000000 --- a/helm/style/style_prima_del_linguaggio_naturale/html_reals.xsl +++ /dev/null @@ -1,234 +0,0 @@ - - - - - - - - - -http://localhost:8081/get?url= - - - - - - - - - - - - - - - - - - - lim - - - - ® - - -
- - - - - - -
- - - - - - lim - - - - ® - - - - - - -
-
- - - - - - - - - - - - - - d - / - - d - - - - - - - - - - - - - - - - | - - - - | - - - - - - - - - - - - - - ! - - - - - - - - - - - (sqr - - - - ) - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - { - - - - , -
- - - - - - - } -
- - - - - - - - { - - , - - } - -
-
- - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - diff --git a/helm/style/style_prima_del_linguaggio_naturale/html_set.xsl b/helm/style/style_prima_del_linguaggio_naturale/html_set.xsl deleted file mode 100644 index 6c7f66b1b..000000000 --- a/helm/style/style_prima_del_linguaggio_naturale/html_set.xsl +++ /dev/null @@ -1,463 +0,0 @@ - - - - - - - - - -http://localhost:8081/get?url= - - - - - - - - - - - - - - - ( - - - -
- - - - - - - - Î - - - - - ) -
- - ( - - - - - - Î - - - ) - -
-
- - - - - - - - - - - - - - - ( - - - -
- - - - Ï - - - - ) -
- - ( - - Ï - - ) - -
-
- - - - - - - - - - - - Æ - - - - - - - - - - { - - : - - -
- - - - | - - - - } -
- - { - - : - - | - - } - -
-
- - - - { - - - - - , -
- - - - - - -
- } -
- - { - - - - - } - - - , - - - - -
-
-
-
-
-
- - - - - - - - - - - - - - - - ( - - - -
- - - - - - - - Ç - - - - - ) -
- - ( - - - - - - Ç - - - ) - -
-
- - - - - - - - - - - - - - - ( - - - -
- - - - - - - - È - - - - - ) -
- - ( - - - - - - È - - - ) - -
-
- - - - - - - - - - - - - - ( - - - -
- - - - - - - - Í - - - - - ) -
- - ( - - - - - - Í - - - ) - -
-
- - - - - - - - - - - - - - ( - - - -
- - - - - - - - Ì - - - - - ) -
- - ( - - - - - - Ì - - - ) - -
-
- - - - - - - - - - - - - - - - ( - - - -
- - - - - - - - / - - - - - ) -
- - ( - - - - - - / - - - ) - -
-
- - - - - - - - - | - - - - | - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - diff --git a/helm/style/style_prima_del_linguaggio_naturale/mml2mmlv1_0.xsl b/helm/style/style_prima_del_linguaggio_naturale/mml2mmlv1_0.xsl deleted file mode 100644 index 67e1accfb..000000000 --- a/helm/style/style_prima_del_linguaggio_naturale/mml2mmlv1_0.xsl +++ /dev/null @@ -1,1957 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - - - - i - - - - - - - - - - - - - + - - - - i - - - - - - - - / - - - - - - - - / - - - - - - - - Polar - - - - - - - - - - Polar - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - ln - - - exp - - - arcsin - - - arccos - - - arctan - - - arcsec - - - arccsc - - - arccot - - - arcsinh - - - arccosh - - - arctanh - - - arcsech - - - arccsch - - - arccoth - - - sin - - - cos - - - tan - - - - - - -1 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Λ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - id - - - - - - - - - - - - / - - - - - - - - - - e - - - - - - - - - - - - ! - - - - - - - - - - max - - - min - - - - - - - - - - - | - - - - - - - - - - - - - - max - - - min - - - - - - - - - | - - - - - - - max - - - min - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - % - - - / - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - * - - - - - - - - - - - - - - - - - - - - - 2 - - - - - - - - - gcd - - - - gcd - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - not - - - - - - - - - - for all - - - - - - - : - - , - - - - - - - - - - - - - - - - , - - - : - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - arg - - - Real - - - Imaginary - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - - - = - - - > - - - < - - - - - - - - - - - - - - - - - - - - - - - - - - ln - - - - - ln - - - - - - - - - - - - - - - - log - - - - - - log - - - - - - - - log - - - - log - - - - - - - - - - - - - - - - - - - - - - - - - d - - - - d - - - - - - - - - - d - - d - - - - - - - - - - - - - - - - d - - - - d - - - - - - - - - - d - - d - - - - - - - - - - - - - - - - - - div - - - grad - - - curl - - - - - - - - - - - - - - - - - - - Δ - 2 - - - - - - - - - - - - - - | - - - - - - - - - | - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - \ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - = - - - - - - - - - - - - - - - - - - - - - - - - - - - lim - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - sin - - - cos - - - tan - - - sec - - - csc - - - cot - - - sinh - - - cosh - - - tanh - - - sech - - - csch - - - coth - - - arcsin - - - arccos - - - arctan - - - - - - - - - - - - - - - - - - - - σ - - - - - - - - - - - - σ - - - - - - - 2 - - - - - - - - median - - - - - - - - - - - - mode - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - det - - - - - - - - T - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - . - - - - - - - diff --git a/helm/style/style_prima_del_linguaggio_naturale/mml2mmlv1_0_original.xsl b/helm/style/style_prima_del_linguaggio_naturale/mml2mmlv1_0_original.xsl deleted file mode 100644 index 44c34df74..000000000 --- a/helm/style/style_prima_del_linguaggio_naturale/mml2mmlv1_0_original.xsl +++ /dev/null @@ -1,1848 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - - - - i - - - - - - - - - - - - - + - - - - i - - - - - - - - / - - - - - - - - / - - - - - - - - Polar - - - - - - - - - - Polar - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - ln - - - exp - - - arcsin - - - arccos - - - arctan - - - arcsec - - - arccsc - - - arccot - - - arcsinh - - - arccosh - - - arctanh - - - arcsech - - - arccsch - - - arccoth - - - sin - - - cos - - - tan - - - - - - -1 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Λ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - id - - - - - - - - - - - / - - - - - - - - - - e - - - - - - - - - - - ! - - - - - - - - - max - - - min - - - - - - - - - - - | - - - - - - - - - - - - - - max - - - min - - - - - - - - - | - - - - - - - max - - - min - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - % - - - / - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 2 - - - - - - - - gcd - - - - gcd - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - not - - - - - - - - - for all - - - - - - - : - - , - - - - - - - - - - - - - - - , - - - : - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - arg - - - Real - - - Imaginary - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - - - = - - - > - - - < - - - - - - - - - - - - - - - - - - - - - - - - - ln - - - - - ln - - - - - - - - - - - - - - - log - - - - - - log - - - - - - - - log - - - - log - - - - - - - - - - - - - - - - - - - - - - - - d - - - - d - - - - - - - - - - d - - d - - - - - - - - - - - - - - - d - - - - d - - - - - - - - - - d - - d - - - - - - - - - - - - - - - - - div - - - grad - - - curl - - - - - - - - - - - - - - - - - - Δ - 2 - - - - - - - - - - - - - | - - - - - - - - - | - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - \ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - = - - - - - - - - - - - - - - - - - - - - - - - - - - lim - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - sin - - - cos - - - tan - - - sec - - - csc - - - cot - - - sinh - - - cosh - - - tanh - - - sech - - - csch - - - coth - - - arcsin - - - arccos - - - arctan - - - - - - - - - - - - - - - - - - σ - - - - - - - - - - - σ - - - - - - - 2 - - - - - - - median - - - - - - - - - - - mode - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - det - - - - - - - - T - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - . - - - - - - - diff --git a/helm/style/style_prima_del_linguaggio_naturale/mmlextension.xsl b/helm/style/style_prima_del_linguaggio_naturale/mmlextension.xsl deleted file mode 100644 index 39d2f5c47..000000000 --- a/helm/style/style_prima_del_linguaggio_naturale/mmlextension.xsl +++ /dev/null @@ -1,1128 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - type="text/xhtml" - - - - - - - - - - - - DEFINITION () OF TYPE - - - - - - - __ - - - - - - - - AS - - - - - - - __ - - - - - - - - - - - - - - - - - AXIOM () OF TYPE - - - - - - - __ - - - - - - - - - - - - - - - - - UNFINISHED PROOF () - - - - - - - THESIS: - - - - - - - __ - - - - - - - - CONJECTURES: - - - - - - - - __ - : - - - - - - - - - CORRESPONDING PROOF: - - - - - - - __ - - - - - - - - - - - - - - - - - - - - - - INDUCTIVE DEFINITION - - - COINDUCTIVE DEFINITION - - - - - AND - - - _ - () - - - - - - - __ - [ - - - - - - - - - : - - - - - - - - - ] - - - - - - - ] - - - - - - - - - OF ARITY - - - - - - - __ - - - - - - - - BUILT FROM - - - - - - - - - - __ - - - | - _ - - - OF - _ - - - - - - - - - - - - - - - - - - - VARIABLE OF TYPE - - - - - - - __ - - - - - - - - - - - - - - - - - - - - - - - - - : - - - - - - - - - - - - : - - - - - - - - - - - - - - - - - - - - - - - - - - - - Π - - - - - - - . - - - - - - - - Π - - : - - . - - - - - - - - - - - - ( - - - - - - - - - - - - - - - - ) - - - - - - - ( - - - - ) - - - - - - - - - - - ( - - - - - - - - - ( - - - - - - - - - ) - - - - - - - ( - - - _ - - - ) - - - - - - - - - - - ( - - - - - - - - :> - - - - - - - - ) - - - - - - - ( - - :> - - ) - - - - - Prop - - - Set - - - Type - - - - - - - - - - < - - - > - CASES - _ - - - - - - - - - - > - CASES - _ - - - - - - - - - OF - - - - - - - - - - - | - - - | - - - _ - - - - - - - - - - - - - |_ - - - - - - - - - - - END - - - - - - - <> - CASES - _ - - _ - OF - - - - | - - - - - - - _ - END - - - - - - - - - - - FIX - _ - - { - - - - - - - __ - - - - - - - - : - - - - - - - - - - - := - - - - - - - - - := - - - - - - - - - - - - - } - - - - - - - FIX - - { - - - - - - - : - - := - - - } - - - - - - - - - - - - - - - - - COFIX - _ - - { - - - - - - - __ - - - - - - - - : - - - - - - - - - - - := - - - - - - - - - := - - - - - - - - - - - - - } - - - - - - - COFIX - - { - - - - - - - : - - := - - - } - - - - - - - - - - - - - - - - - - - - - - - - λ - - - - - - - . - - - - - - - - λ - - : - - . - - - - - - - - - - - - - - - - - - - - - - - - - - - ( - - - - - - - __ - - = - - - - - - - - ) - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - ( - - - - - - - __ - - - - - - - - - - ) - - - - - - - - - - - - - - - - - - - - - - - - - - - - - { - - - - - - { - | - - - - - - } - - - - - - - - - { - - - , - - - - - - - { - - - , - - - - - - - } - - - - - - - - - - - - - - - - | - - | - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - > - - - - - - - - - - - diff --git a/helm/style/style_prima_del_linguaggio_naturale/objcontent.xsl b/helm/style/style_prima_del_linguaggio_naturale/objcontent.xsl deleted file mode 100644 index 6ad0a4922..000000000 --- a/helm/style/style_prima_del_linguaggio_naturale/objcontent.xsl +++ /dev/null @@ -1,232 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - type="text/xml" - href="" type="text/xsl" - type="xslt" - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -PROD - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - app - - - - - - - - - - - - - - - - - - - - - - - - - - $ - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/helm/style/style_prima_del_linguaggio_naturale/params.xsl b/helm/style/style_prima_del_linguaggio_naturale/params.xsl deleted file mode 100644 index 034eeba97..000000000 --- a/helm/style/style_prima_del_linguaggio_naturale/params.xsl +++ /dev/null @@ -1,191 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 0 - - - - - - - - - - - - - - - - - - - - - - - - 0 - - - - - - - - - - - diff --git a/helm/style/style_prima_del_linguaggio_naturale/reals.xsl b/helm/style/style_prima_del_linguaggio_naturale/reals.xsl deleted file mode 100644 index 0e4afef94..000000000 --- a/helm/style/style_prima_del_linguaggio_naturale/reals.xsl +++ /dev/null @@ -1,277 +0,0 @@ - - - - - - - - - - - - - - -http://localhost:8081/get?url= - - - - - - - - - - - 0 - - - - 1 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 1 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - $x - - - - - - app - - $x - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - $x - - - app - - $x - - - - - - - - - - - - - - diff --git a/helm/style/style_prima_del_linguaggio_naturale/ricerca.xsl b/helm/style/style_prima_del_linguaggio_naturale/ricerca.xsl deleted file mode 100644 index e0fa13a93..000000000 --- a/helm/style/style_prima_del_linguaggio_naturale/ricerca.xsl +++ /dev/null @@ -1,91 +0,0 @@ - - - - - - - - - - - - -http://localhost:8081/get?url= - - - - - - - - - - - - - - - - - - - -
- -
- - - - - - - - - - - - - - -
-
- - -
- - - - - - -
-
-
- - - - - - -
-
-
- - - - - - - - - - -
diff --git a/helm/style/style_prima_del_linguaggio_naturale/rootcontent.xsl b/helm/style/style_prima_del_linguaggio_naturale/rootcontent.xsl deleted file mode 100644 index 2a680a435..000000000 --- a/helm/style/style_prima_del_linguaggio_naturale/rootcontent.xsl +++ /dev/null @@ -1,26 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/helm/style/style_prima_del_linguaggio_naturale/roottheory.xsl b/helm/style/style_prima_del_linguaggio_naturale/roottheory.xsl deleted file mode 100644 index d293ee6f2..000000000 --- a/helm/style/style_prima_del_linguaggio_naturale/roottheory.xsl +++ /dev/null @@ -1,22 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - diff --git a/helm/style/style_prima_del_linguaggio_naturale/set.xsl b/helm/style/style_prima_del_linguaggio_naturale/set.xsl deleted file mode 100644 index 303c872ef..000000000 --- a/helm/style/style_prima_del_linguaggio_naturale/set.xsl +++ /dev/null @@ -1,487 +0,0 @@ - - - - - - - - - - - - - - -http://localhost:8081/get?url= - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/helm/style/style_prima_del_linguaggio_naturale/theory_content.xsl b/helm/style/style_prima_del_linguaggio_naturale/theory_content.xsl deleted file mode 100644 index 9b65cc5b2..000000000 --- a/helm/style/style_prima_del_linguaggio_naturale/theory_content.xsl +++ /dev/null @@ -1,57 +0,0 @@ - - - - - - - - - - - - - - - -http://localhost:8081/get?url= - - - - -
- -
-
- - - - - -
- -
-
- - - - - - - - - - - - - - - - - - - - - - - -
diff --git a/helm/style/style_prima_del_linguaggio_naturale/theory_pres.xsl b/helm/style/style_prima_del_linguaggio_naturale/theory_pres.xsl deleted file mode 100644 index 9a96cdc03..000000000 --- a/helm/style/style_prima_del_linguaggio_naturale/theory_pres.xsl +++ /dev/null @@ -1,34 +0,0 @@ - - - - - - - - - - - - - - - - - - - BEGIN SECTION - - END SECTION - - - - - BEGIN SECTION - - END SECTION - - - - - -- 2.39.2