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

drwxr-xr-x		..
-rw-r--r--	21543	drops.ma	blob \| history \| raw
-rw-r--r--	1633	drops_cext2.ma	blob \| history \| raw
-rw-r--r--	3417	drops_ctc.ma	blob \| history \| raw
-rw-r--r--	6735	drops_drops.ma	blob \| history \| raw
-rw-r--r--	5865	drops_length.ma	blob \| history \| raw
-rw-r--r--	4110	drops_lex.ma	blob \| history \| raw
-rw-r--r--	4257	drops_ltc.ma	blob \| history \| raw
-rw-r--r--	3058	drops_seq.ma	blob \| history \| raw
-rw-r--r--	11332	drops_sex.ma	blob \| history \| raw
-rw-r--r--	1791	drops_vector.ma	blob \| history \| raw
-rw-r--r--	2710	drops_weight.ma	blob \| history \| raw
-rw-r--r--	6862	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--	4165	lex_tc.ma	blob \| history \| raw
-rw-r--r--	20020	lifts.ma	blob \| history \| raw
-rw-r--r--	1818	lifts_basic.ma	blob \| history \| raw
-rw-r--r--	3190	lifts_bind.ma	blob \| history \| raw
-rw-r--r--	6537	lifts_lifts.ma	blob \| history \| raw
-rw-r--r--	2662	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--	4161	lifts_teqg.ma	blob \| history \| raw
-rw-r--r--	3282	lifts_teqo.ma	blob \| history \| raw
-rw-r--r--	4651	lifts_teqw.ma	blob \| history \| raw
-rw-r--r--	1955	lifts_teqx.ma	blob \| history \| raw
-rw-r--r--	5266	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--	4332	seq.ma	blob \| history \| raw
-rw-r--r--	1397	seq_length.ma	blob \| history \| raw
-rw-r--r--	1909	seq_seq.ma	blob \| history \| raw
-rw-r--r--	13368	sex.ma	blob \| history \| raw
-rw-r--r--	2206	sex_length.ma	blob \| history \| raw
-rw-r--r--	7279	sex_sex.ma	blob \| history \| raw
-rw-r--r--	5749	sex_tc.ma	blob \| history \| raw