matita.cs.unibo.it Git - helm.git/tree - helm/gTopLevel/esempi/ring/

drwxr-xr-x		..
-rw-r--r--	426	0eq0.cic	blob \| history \| raw
-rw-r--r--	1593	aliases.cic	blob \| history \| raw
-rw-r--r--	1442	caso0.cic	blob \| history \| raw
-rw-r--r--	1442	caso1.cic	blob \| history \| raw
-rw-r--r--	1442	caso2.cic	blob \| history \| raw
-rw-r--r--	1453	caso3.1.cic	blob \| history \| raw
-rw-r--r--	1453	caso3.1bis.cic	blob \| history \| raw
-rw-r--r--	1475	caso3.2.cic	blob \| history \| raw
-rw-r--r--	1464	caso3.3.cic	blob \| history \| raw
-rw-r--r--	1438	coq_overkill_helm_rulez.cic	blob \| history \| raw
-rw-r--r--	517	novarmap.cic	blob \| history \| raw
-rw-r--r--	442	novarmap_tofinish.cic	blob \| history \| raw
-rw-r--r--	510	varmap.cic	blob \| history \| raw
-rw-r--r--	477	varmap2.cic	blob \| history \| raw
-rw-r--r--	469	varmap_trivial.cic	blob \| history \| raw
-rw-r--r--	500	varmap_trivial2.cic	blob \| history \| raw
-rw-r--r--	475	varmap_trivial3.cic	blob \| history \| raw
-rw-r--r--	594	varmap_trivial_molte_variabili.cic	blob \| history \| raw