]>
-rw-r--r-- | 5567 | annotatedcont.xsl | blob | raw |
-rw-r--r-- | 2899 | annotatedpres.xsl | blob | raw |
-rw-r--r-- | 12567 | arith.xsl | blob | raw |
-rw-r--r-- | 10174 | basic.xsl | blob | raw |
drwxr-xr-x | - | config | tree |
-rw-r--r-- | 12655 | content.xsl | blob | raw |
-rw-r--r-- | 67056 | content_to_html.xsl | blob | raw |
-rw-r--r-- | 5410 | contentlib.xsl | blob | raw |
-rw-r--r-- | 5521 | drop_coercions.xsl | blob | raw |
-rw-r--r-- | 4188 | expandobj.xsl | blob | raw |
-rw-r--r-- | 2830 | genmmlid.xsl | blob | raw |
-rw-r--r-- | 2446 | headercontent.xsl | blob | raw |
-rw-r--r-- | 13836 | html_init.xsl | blob | raw |
-rw-r--r-- | 12372 | html_reals.xsl | blob | raw |
-rw-r--r-- | 13444 | html_set.xsl | blob | raw |
-rw-r--r-- | 16998 | inductive.xsl | blob | raw |
-rw-r--r-- | 7924 | lambda.xsl | blob | raw |
-rw-r--r-- | 5332 | link.xsl | blob | raw |
-rw-r--r-- | 14929 | links_library.xsl | blob | raw |
-rw-r--r-- | 7416 | mk_meta_theory.xsl | blob | raw |
-rwxr-xr-x | 110221 | mmlctop.xsl-0.14 | blob | raw |
-rw-r--r-- | 62217 | mmlextension.xsl | blob | raw |
-rw-r--r-- | 2427 | mmltheoryextension.xsl | blob | raw |
-rw-r--r-- | 6297 | objcontent.xsl | blob | raw |
-rw-r--r-- | 3789 | objtheorycontent.xsl | blob | raw |
-rw-r--r-- | 16034 | params.xsl | blob | raw |
-rw-r--r-- | 23937 | proofs.xsl | blob | raw |
-rw-r--r-- | 12607 | reals.xsl | blob | raw |
-rw-r--r-- | 3991 | ricerca.xsl | blob | raw |
-rw-r--r-- | 5545 | ring.xsl | blob | raw |
-rw-r--r-- | 4211 | rootcontent.xsl | blob | raw |
-rw-r--r-- | 2712 | roottheory.xsl | blob | raw |
-rw-r--r-- | 19237 | set.xsl | blob | raw |
-rw-r--r-- | 4137 | theory_content.xsl | blob | raw |
-rw-r--r-- | 5027 | theory_pres.xsl | blob | raw |