matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambdadelta/static

drwxr-xr-x		..
-rw-r--r--	21462	drops.ma	blob \| history \| raw
-rw-r--r--	1633	drops_cext2.ma	blob \| history \| raw
-rw-r--r--	3419	drops_ctc.ma	blob \| history \| raw
-rw-r--r--	6705	drops_drops.ma	blob \| history \| raw
-rw-r--r--	5823	drops_length.ma	blob \| history \| raw
-rw-r--r--	4096	drops_lex.ma	blob \| history \| raw
-rw-r--r--	4259	drops_ltc.ma	blob \| history \| raw
-rw-r--r--	3058	drops_seq.ma	blob \| history \| raw
-rw-r--r--	10785	drops_sex.ma	blob \| history \| raw
-rw-r--r--	1791	drops_vector.ma	blob \| history \| raw
-rw-r--r--	2728	drops_weight.ma	blob \| history \| raw
-rw-r--r--	6856	lex.ma	blob \| history \| raw
-rw-r--r--	1399	lex_length.ma	blob \| history \| raw
-rw-r--r--	2424	lex_lex.ma	blob \| history \| raw
-rw-r--r--	4167	lex_tc.ma	blob \| history \| raw
-rw-r--r--	19375	lifts.ma	blob \| history \| raw
-rw-r--r--	1798	lifts_basic.ma	blob \| history \| raw
-rw-r--r--	3246	lifts_bind.ma	blob \| history \| raw
-rw-r--r--	6502	lifts_lifts.ma	blob \| history \| raw
-rw-r--r--	2666	lifts_lifts_bind.ma	blob \| history \| raw
-rw-r--r--	2604	lifts_lifts_vector.ma	blob \| history \| raw
-rw-r--r--	1726	lifts_simple.ma	blob \| history \| raw
-rw-r--r--	3278	lifts_teqo.ma	blob \| history \| raw
-rw-r--r--	3980	lifts_teqx.ma	blob \| history \| raw
-rw-r--r--	4647	lifts_tweq.ma	blob \| history \| raw
-rw-r--r--	5723	lifts_vector.ma	blob \| history \| raw
-rw-r--r--	1416	lifts_weight.ma	blob \| history \| raw
-rw-r--r--	1434	lifts_weight_bind.ma	blob \| history \| raw
-rw-r--r--	4303	seq.ma	blob \| history \| raw
-rw-r--r--	1389	seq_length.ma	blob \| history \| raw
-rw-r--r--	1895	seq_seq.ma	blob \| history \| raw
-rw-r--r--	12856	sex.ma	blob \| history \| raw
-rw-r--r--	2197	sex_length.ma	blob \| history \| raw
-rw-r--r--	6216	sex_sex.ma	blob \| history \| raw
-rw-r--r--	5747	sex_tc.ma	blob \| history \| raw