matita.cs.unibo.it Git - helm.git/tree - helm/www/matita/docs/tutorial/

drwxr-xr-x		..
-rw-r--r--	16293	cover.png	blob \| history \| raw
-rw-r--r--	35832	def-fish-rec-1.png	blob \| history \| raw
-rw-r--r--	39180	def-fish-rec-2-1.png	blob \| history \| raw
-rw-r--r--	51529	def-fish-rec-2.png	blob \| history \| raw
-rw-r--r--	38897	def-fish-rec-3.png	blob \| history \| raw
-rw-r--r--	46365	def-fish-rec-5-1.png	blob \| history \| raw
-rw-r--r--	41898	def-fish-rec-5.png	blob \| history \| raw
-rw-r--r--	65635	def-fish-rec-6.png	blob \| history \| raw
-rw-r--r--	63718	def-fish-rec-7.png	blob \| history \| raw
-rw-r--r--	114893	def-fish-rec-9.png	blob \| history \| raw
-rw-r--r--	16772	igft-CIC-universes.svg	blob \| history \| raw
-rw-r--r--	29767	igft-minimality-CIC.svg	blob \| history \| raw
-rw-r--r--	66049	igft.html	blob \| history \| raw
-rw-r--r--	833670	igft.pdf	blob \| history \| raw
-rw-r--r--	10482	n-cov-inf-1.png	blob \| history \| raw
-rw-r--r--	16992	n-cov-inf-2.png	blob \| history \| raw
-rw-r--r--	21855	n-cov-inf-3.png	blob \| history \| raw
-rw-r--r--	23214	n-cov-inf-4.png	blob \| history \| raw
-rw-r--r--	31563	n-cov-inf-5.png	blob \| history \| raw
-rw-r--r--	36363	n-cov-inf-6.png	blob \| history \| raw
-rw-r--r--	37185	n-cov-inf-7.png	blob \| history \| raw
-rw-r--r--	39263	n-cov-inf-8.png	blob \| history \| raw
-rw-r--r--	42937	n-cov-inf-9.png	blob \| history \| raw
-rw-r--r--	18168	n-cov-min-2.png	blob \| history \| raw
-rw-r--r--	20223	n-cov-min-3.png	blob \| history \| raw
-rw-r--r--	19776	n-cov-min-4.png	blob \| history \| raw
-rw-r--r--	58006	n-cov-min-5.png	blob \| history \| raw
-rw-r--r--	14441	n-f-compat-1.png	blob \| history \| raw
-rw-r--r--	15293	n-f-compat-2.png	blob \| history \| raw
-rw-r--r--	18067	n-f-compat-3.png	blob \| history \| raw
-rw-r--r--	24061	n-f-compat-4.png	blob \| history \| raw
-rw-r--r--	32016	n-f-compat-5.png	blob \| history \| raw
-rw-r--r--	34631	n-f-compat-6.png	blob \| history \| raw
-rw-r--r--	40924	n-f-max-1.png	blob \| history \| raw
-rw-r--r--	17612	retr-1.png	blob \| history \| raw
-rw-r--r--	26736	retr-2.png	blob \| history \| raw
-rw-r--r--	24884	retr-3.png	blob \| history \| raw
-rw-r--r--	31524	retr-4.png	blob \| history \| raw
-rw-r--r--	24705	retr2.png	blob \| history \| raw
-rw-r--r--	3346	sh_gedit.css	blob \| history \| raw
-rw-r--r--	1142	sh_grafite.js	blob \| history \| raw
-rw-r--r--	15433	sh_main.js	blob \| history \| raw
-rw-r--r--	6624	xcover-set-1.png	blob \| history \| raw
-rw-r--r--	13172	xcover-set-2.png	blob \| history \| raw
-rw-r--r--	16256	xcover-set-3.png	blob \| history \| raw
-rw-r--r--	37400	xcover-set-4.png	blob \| history \| raw