]> matita.cs.unibo.it Git - helm.git/tree
651842093ec93abb103f60d626fce9f719ee2f33
-rw-r--r-- 5567 annotatedcont.xsl
-rw-r--r-- 2899 annotatedpres.xsl
-rw-r--r-- 4976 arith.xsl
-rw-r--r-- 10179 basic.xsl
drwxr-xr-x - config
-rw-r--r-- 12169 content.xsl
-rw-r--r-- 63037 content_to_html.xsl
-rw-r--r-- 5410 contentlib.xsl
-rw-r--r-- 5525 drop_coercions.xsl
-rw-r--r-- 4154 expandobj.xsl
-rw-r--r-- 2833 genmmlid.xsl
-rw-r--r-- 2446 headercontent.xsl
-rw-r--r-- 11748 html_init.xsl
-rw-r--r-- 11263 html_reals.xsl
-rw-r--r-- 13461 html_set.xsl
-rw-r--r-- 17000 inductive.xsl
-rw-r--r-- 7926 lambda.xsl
-rw-r--r-- 5333 link.xsl
-rw-r--r-- 13559 links_library.xsl
-rwxr-xr-x 111250 mmlctop.xsl-0.14
-rw-r--r-- 54691 mmlextension.xsl
-rw-r--r-- 2427 mmltheoryextension.xsl
-rw-r--r-- 6297 objcontent.xsl
-rw-r--r-- 3750 objtheorycontent.xsl
-rw-r--r-- 16035 params.xsl
-rw-r--r-- 25074 proofs.xsl
-rw-r--r-- 12609 reals.xsl
-rw-r--r-- 4996 ricerca.xsl
-rw-r--r-- 5545 ring.xsl
-rw-r--r-- 3737 rootcontent.xsl
-rw-r--r-- 2717 roottheory.xsl
-rw-r--r-- 19237 set.xsl
-rw-r--r-- 3777 theory_content.xsl
-rw-r--r-- 4461 theory_pres.xsl