]>
-rw-r--r-- | 5609 | annotatedcont.xsl | blob | raw |
-rw-r--r-- | 2899 | annotatedpres.xsl | blob | raw |
-rw-r--r-- | 15324 | content.xsl | blob | raw |
-rw-r--r-- | 92118 | content_to_html.xsl | blob | raw |
-rw-r--r-- | 5742 | contentlib.xsl | blob | raw |
-rw-r--r-- | 15857 | diseq.xsl | blob | raw |
-rw-r--r-- | 7531 | 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-- | 2512 | 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-- | 17569 | inductive.xsl | blob | raw |
-rw-r--r-- | 7924 | lambda.xsl | blob | raw |
-rw-r--r-- | 5589 | link.xsl | blob | raw |
-rw-r--r-- | 15575 | links_library.xsl | blob | raw |
-rw-r--r-- | 6397 | logic.xsl | blob | raw |
-rw-r--r-- | 2249 | mk_dep_graph.xsl | blob | raw |
-rw-r--r-- | 11232 | 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-- | 9091 | objcontent.xsl | blob | raw |
-rw-r--r-- | 3815 | objtheorycontent.xsl | blob | raw |
-rw-r--r-- | 17962 | params.xsl | blob | raw |
-rw-r--r-- | 21448 | proofs.xsl | blob | raw |
-rw-r--r-- | 5694 | rewrite.xsl | blob | raw |
-rw-r--r-- | 4147 | ricerca.xsl | blob | raw |
-rw-r--r-- | 5353 | ring.xsl | blob | raw |
-rw-r--r-- | 4868 | rootcontent.xsl | blob | raw |
-rw-r--r-- | 2712 | roottheory.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-- | 589 | xslt_index.txt | blob | raw |