]>
-rw-r--r-- | 4334 | annotatedcont.xsl | blob | raw |
-rw-r--r-- | 2899 | annotatedpres.xsl | blob | raw |
-rw-r--r-- | 11666 | basic.xsl | blob | raw |
-rw-r--r-- | 14875 | content.xsl | blob | raw |
-rw-r--r-- | 26613 | content_to_html.xsl | blob | raw |
-rw-r--r-- | 10232 | html_init.xsl | blob | raw |
-rw-r--r-- | 9193 | html_reals.xsl | blob | raw |
-rw-r--r-- | 17511 | html_set.xsl | blob | raw |
-rw-r--r-- | 73155 | mml2mmlv1_0.xsl | blob | raw |
-rw-r--r-- | 49639 | mmlextension.xsl | blob | raw |
-rw-r--r-- | 10407 | objcontent.xsl | blob | raw |
-rw-r--r-- | 11474 | params.xsl | blob | raw |
-rw-r--r-- | 14872 | proofs.xsl | blob | raw |
-rw-r--r-- | 11849 | reals.xsl | blob | raw |
-rw-r--r-- | 5302 | ricerca.xsl | blob | raw |
-rw-r--r-- | 3113 | rootcontent.xsl | blob | raw |
-rw-r--r-- | 2717 | roottheory.xsl | blob | raw |
-rw-r--r-- | 19612 | set.xsl | blob | raw |
drwxr-xr-x | - | style_prima_del_linguaggio_naturale | tree |
-rw-r--r-- | 3806 | theory_content.xsl | blob | raw |
-rw-r--r-- | 3077 | theory_pres.xsl | blob | raw |