matita.cs.unibo.it Git - helm.git/tree - helm/software/matita/contribs/dama/dama/models/

drwxr-xr-x		..
-rw-r--r--	2719	discrete_uniformity.ma	blob \| history \| raw
-rw-r--r--	11971	list_support.ma	blob \| history \| raw
-rw-r--r--	5683	nat_dedekind_sigma_complete.ma	blob \| history \| raw
-rw-r--r--	1372	nat_lebesgue.ma	blob \| history \| raw
-rw-r--r--	2235	nat_order_continuous.ma	blob \| history \| raw
-rw-r--r--	1598	nat_ordered_uniform.ma	blob \| history \| raw
-rw-r--r--	1231	nat_uniform.ma	blob \| history \| raw
-rw-r--r--	12133	q_bars.ma	blob \| history \| raw
-rw-r--r--	6700	q_copy.ma	blob \| history \| raw
-rw-r--r--	5542	q_function.ma	blob \| history \| raw
-rw-r--r--	7929	q_rebase.ma	blob \| history \| raw
-rw-r--r--	0	q_shift.ma	blob \| history \| raw
-rw-r--r--	4611	q_support.ma	blob \| history \| raw
-rw-r--r--	0	q_value_skip.ma	blob \| history \| raw

Unnamed repository; edit this file 'description' to name the repository.