]>
-rw-r--r-- | 18068 | algebra.xsl | blob | raw |
-rw-r--r-- | 5585 | annotatedcont.xsl | blob | raw |
-rw-r--r-- | 2899 | annotatedpres.xsl | blob | raw |
-rw-r--r-- | 13631 | arith.xsl | blob | raw |
-rw-r--r-- | 9949 | basic.xsl | blob | raw |
-rw-r--r-- | 16823 | content.xsl | blob | raw |
-rw-r--r-- | 87023 | content_to_html.xsl | blob | raw |
-rw-r--r-- | 5742 | contentlib.xsl | blob | raw |
-rw-r--r-- | 7445 | drop_coercions.xsl | blob | raw |
-rw-r--r-- | 4188 | expandobj.xsl | blob | raw |
-rw-r--r-- | 2817 | genmmlid.xsl | blob | raw |
-rw-r--r-- | 2017 | getter.xsl | blob | raw |
-rw-r--r-- | 2481 | headercontent.xsl | blob | raw |
-rw-r--r-- | 17494 | html_init.xsl | blob | raw |
-rw-r--r-- | 15469 | html_reals.xsl | blob | raw |
-rw-r--r-- | 13861 | html_set.xsl | blob | raw |
-rw-r--r-- | 17145 | inductive.xsl | blob | raw |
-rw-r--r-- | 7924 | lambda.xsl | blob | raw |
-rw-r--r-- | 5328 | link.xsl | blob | raw |
-rw-r--r-- | 15344 | links_library.xsl | blob | raw |
-rw-r--r-- | 2249 | mk_dep_graph.xsl | blob | raw |
-rw-r--r-- | 11352 | mk_meta_and_dep_graph.xsl | blob | raw |
-rw-r--r-- | 2261 | mk_meta_graph.xsl | blob | raw |
-rw-r--r-- | 7297 | mk_meta_theory.xsl | blob | raw |
-rw-r--r-- | 149831 | mmlctop.xsl | blob | raw |
-rwxr-xr-x | 111201 | mmlctop.xsl-0.14 | blob | raw |
-rw-r--r-- | 149831 | mmlctop2_0.xsl | blob | raw |
-rw-r--r-- | 72222 | mmlextension.xsl | blob | raw |
-rw-r--r-- | 12829 | mmlnotation.xsl | blob | raw |
-rw-r--r-- | 2427 | mmltheoryextension.xsl | blob | raw |
-rw-r--r-- | 8915 | objcontent.xsl | blob | raw |
-rw-r--r-- | 3736 | objtheorycontent.xsl | blob | raw |
-rw-r--r-- | 16176 | params.xsl | blob | raw |
-rw-r--r-- | 43276 | proofs.xsl | blob | raw |
-rw-r--r-- | 12607 | reals.xsl | blob | raw |
-rw-r--r-- | 4147 | ricerca.xsl | blob | raw |
-rw-r--r-- | 5353 | ring.xsl | blob | raw |
-rw-r--r-- | 4895 | rootcontent.xsl | blob | raw |
-rw-r--r-- | 2712 | roottheory.xsl | blob | raw |
-rw-r--r-- | 20360 | set.xsl | blob | raw |
-rw-r--r-- | 7641 | show_dc.xsl | blob | raw |
-rw-r--r-- | 4137 | theory_content.xsl | blob | raw |
-rw-r--r-- | 5027 | theory_pres.xsl | blob | raw |
-rw-r--r-- | 607 | xslt_index.txt | blob | raw |