]>
-rw-r--r-- | 5567 | annotatedcont.xsl | blob | raw |
-rw-r--r-- | 2899 | annotatedpres.xsl | blob | raw |
-rw-r--r-- | 5041 | arith.xsl | blob | raw |
-rw-r--r-- | 10140 | basic.xsl | blob | raw |
drwxr-xr-x | - | config | tree |
-rw-r--r-- | 12169 | content.xsl | blob | raw |
-rw-r--r-- | 50541 | content_to_html.xsl | blob | raw |
-rw-r--r-- | 4852 | contentlib.xsl | blob | raw |
-rw-r--r-- | 4196 | expandobj.xsl | blob | raw |
-rw-r--r-- | 2413 | headercontent.xsl | blob | raw |
-rw-r--r-- | 11748 | html_init.xsl | blob | raw |
-rw-r--r-- | 11270 | html_reals.xsl | blob | raw |
-rw-r--r-- | 11005 | html_set.xsl | blob | raw |
-rw-r--r-- | 17000 | inductive.xsl | blob | raw |
-rw-r--r-- | 3189 | link.xsl | blob | raw |
-rw-r--r-- | 6414 | links_library.xsl | blob | raw |
-rw-r--r-- | 73155 | mml2mmlv1_0.xsl | blob | raw |
-rw-r--r-- | 53399 | mmlextension.xsl | blob | raw |
-rw-r--r-- | 2427 | mmltheoryextension.xsl | blob | raw |
-rw-r--r-- | 6297 | objcontent.xsl | blob | raw |
-rw-r--r-- | 3739 | objtheorycontent.xsl | blob | raw |
-rw-r--r-- | 16035 | params.xsl | blob | raw |
-rw-r--r-- | 22949 | proofs.xsl | blob | raw |
-rw-r--r-- | 12663 | reals.xsl | blob | raw |
-rw-r--r-- | 4996 | ricerca.xsl | blob | raw |
-rw-r--r-- | 5615 | ring.xsl | blob | raw |
-rw-r--r-- | 3736 | rootcontent.xsl | blob | raw |
-rw-r--r-- | 2717 | roottheory.xsl | blob | raw |
-rw-r--r-- | 19237 | set.xsl | blob | raw |
-rw-r--r-- | 3160 | theory_content.xsl | blob | raw |
-rw-r--r-- | 3434 | theory_pres.xsl | blob | raw |