]>
-rw-r--r-- | 4334 | annotatedcont.xsl | blob | raw |
-rw-r--r-- | 2899 | annotatedpres.xsl | blob | raw |
-rw-r--r-- | 11361 | basic.xsl | blob | raw |
drwxr-xr-x | - | config | tree |
-rw-r--r-- | 12118 | content.xsl | blob | raw |
-rw-r--r-- | 41270 | content_to_html.xsl | blob | raw |
-rw-r--r-- | 4392 | expandobj.xsl | blob | raw |
-rw-r--r-- | 13101 | html_init.xsl | blob | raw |
-rw-r--r-- | 12201 | html_reals.xsl | blob | raw |
-rw-r--r-- | 11206 | html_set.xsl | blob | raw |
-rw-r--r-- | 73155 | mml2mmlv1_0.xsl | blob | raw |
-rw-r--r-- | 53355 | mmlextension.xsl | blob | raw |
-rw-r--r-- | 6282 | objcontent.xsl | blob | raw |
-rw-r--r-- | 15577 | params.xsl | blob | raw |
-rw-r--r-- | 16640 | proofs.xsl | blob | raw |
-rw-r--r-- | 11544 | reals.xsl | blob | raw |
-rw-r--r-- | 4996 | ricerca.xsl | blob | raw |
-rw-r--r-- | 3822 | rootcontent.xsl | blob | raw |
-rw-r--r-- | 2717 | roottheory.xsl | blob | raw |
-rw-r--r-- | 19307 | set.xsl | blob | raw |
-rw-r--r-- | 2895 | theory_content.xsl | blob | raw |
-rw-r--r-- | 3250 | theory_pres.xsl | blob | raw |