]> matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambdadelta/static_2/relocation/
milestone update in basic_2, update in ground and static_2
[helm.git] / matita / matita / contribs / lambdadelta / static_2 / relocation /
drwxr-xr-x   ..
-rw-r--r-- 21394 drops.ma
-rw-r--r-- 1633 drops_cext2.ma
-rw-r--r-- 3417 drops_ctc.ma
-rw-r--r-- 6677 drops_drops.ma
-rw-r--r-- 5823 drops_length.ma
-rw-r--r-- 4096 drops_lex.ma
-rw-r--r-- 4257 drops_ltc.ma
-rw-r--r-- 3058 drops_seq.ma
-rw-r--r-- 10785 drops_sex.ma
-rw-r--r-- 1791 drops_vector.ma
-rw-r--r-- 2728 drops_weight.ma
-rw-r--r-- 6852 lex.ma
-rw-r--r-- 1399 lex_length.ma
-rw-r--r-- 2424 lex_lex.ma
-rw-r--r-- 4167 lex_tc.ma
-rw-r--r-- 19353 lifts.ma
-rw-r--r-- 1796 lifts_basic.ma
-rw-r--r-- 3183 lifts_bind.ma
-rw-r--r-- 6495 lifts_lifts.ma
-rw-r--r-- 2666 lifts_lifts_bind.ma
-rw-r--r-- 2604 lifts_lifts_vector.ma
-rw-r--r-- 1726 lifts_simple.ma
-rw-r--r-- 3278 lifts_teqo.ma
-rw-r--r-- 3951 lifts_teqx.ma
-rw-r--r-- 4641 lifts_tweq.ma
-rw-r--r-- 5263 lifts_vector.ma
-rw-r--r-- 1416 lifts_weight.ma
-rw-r--r-- 1434 lifts_weight_bind.ma
-rw-r--r-- 4303 seq.ma
-rw-r--r-- 1389 seq_length.ma
-rw-r--r-- 1895 seq_seq.ma
-rw-r--r-- 13473 sex.ma
-rw-r--r-- 2197 sex_length.ma
-rw-r--r-- 7460 sex_sex.ma
-rw-r--r-- 5745 sex_tc.ma