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

drwxr-xr-x		..
-rw-r--r--	21473	drops.ma	blob \| history \| raw
-rw-r--r--	1634	drops_cext2.ma	blob \| history \| raw
-rw-r--r--	3419	drops_ctc.ma	blob \| history \| raw
-rw-r--r--	6446	drops_drops.ma	blob \| history \| raw
-rw-r--r--	5842	drops_length.ma	blob \| history \| raw
-rw-r--r--	4106	drops_lex.ma	blob \| history \| raw
-rw-r--r--	4259	drops_ltc.ma	blob \| history \| raw
-rw-r--r--	3064	drops_seq.ma	blob \| history \| raw
-rw-r--r--	10840	drops_sex.ma	blob \| history \| raw
-rw-r--r--	1792	drops_vector.ma	blob \| history \| raw
-rw-r--r--	2710	drops_weight.ma	blob \| history \| raw
-rw-r--r--	6893	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--	17841	lifts.ma	blob \| history \| raw
-rw-r--r--	3246	lifts_bind.ma	blob \| history \| raw
-rw-r--r--	6055	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--	3213	lifts_tdeq.ma	blob \| history \| raw
-rw-r--r--	5723	lifts_vector.ma	blob \| history \| raw
-rw-r--r--	1408	lifts_weight.ma	blob \| history \| raw
-rw-r--r--	1426	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--	12962	sex.ma	blob \| history \| raw
-rw-r--r--	2203	sex_length.ma	blob \| history \| raw
-rw-r--r--	6240	sex_sex.ma	blob \| history \| raw
-rw-r--r--	5773	sex_tc.ma	blob \| history \| raw