matita.cs.unibo.it Git - helm.git/tree

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