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--	8509	arith.xsl	blob \| history \| raw
-rw-r--r--	10179	basic.xsl	blob \| history \| raw
drwxr-xr-x	-	config	tree \| history
-rw-r--r--	12617	content.xsl	blob \| history \| raw
-rw-r--r--	67088	content_to_html.xsl	blob \| history \| raw
-rw-r--r--	5411	contentlib.xsl	blob \| history \| raw
-rw-r--r--	5525	drop_coercions.xsl	blob \| history \| raw
-rw-r--r--	4188	expandobj.xsl	blob \| history \| raw
-rw-r--r--	2833	genmmlid.xsl	blob \| history \| raw
-rw-r--r--	2446	headercontent.xsl	blob \| history \| raw
-rw-r--r--	13838	html_init.xsl	blob \| history \| raw
-rw-r--r--	12372	html_reals.xsl	blob \| history \| raw
-rw-r--r--	13451	html_set.xsl	blob \| history \| raw
-rw-r--r--	17000	inductive.xsl	blob \| history \| raw
-rw-r--r--	7926	lambda.xsl	blob \| history \| raw
-rw-r--r--	5333	link.xsl	blob \| history \| raw
-rw-r--r--	14932	links_library.xsl	blob \| history \| raw
-rw-r--r--	7429	mk_meta_theory.xsl	blob \| history \| raw
-rwxr-xr-x	111250	mmlctop.xsl-0.14	blob \| history \| raw
-rw-r--r--	62230	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--	16035	params.xsl	blob \| history \| raw
-rw-r--r--	23974	proofs.xsl	blob \| history \| raw
-rw-r--r--	12609	reals.xsl	blob \| history \| raw
-rw-r--r--	4004	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--	2717	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