]> matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambdadelta/basic_2A/multiple/
made executable again
[helm.git] / matita / matita / contribs / lambdadelta / basic_2A / multiple /
drwxr-xr-x   ..
-rw-r--r-- 5526 drops.ma
-rw-r--r-- 1982 drops_drop.ma
-rw-r--r-- 1470 drops_drops.ma
-rw-r--r-- 2035 fleq.ma
-rw-r--r-- 1895 fleq_fleq.ma
-rw-r--r-- 5571 fqup.ma
-rw-r--r-- 1284 fqup_fqup.ma
-rw-r--r-- 4335 fqus.ma
-rw-r--r-- 3209 fqus_alt.ma
-rw-r--r-- 1284 fqus_fqus.ma
-rw-r--r-- 7481 frees.ma
-rw-r--r-- 2836 frees_append.ma
-rw-r--r-- 7902 frees_lift.ma
-rw-r--r-- 1884 frees_lreq.ma
-rw-r--r-- 5876 lifts.ma
-rw-r--r-- 3168 lifts_lift.ma
-rw-r--r-- 1909 lifts_lift_vector.ma
-rw-r--r-- 1464 lifts_lifts.ma
-rw-r--r-- 2501 lifts_vector.ma
-rw-r--r-- 7178 lleq.ma
-rw-r--r-- 2237 lleq_alt.ma
-rw-r--r-- 3122 lleq_alt_rec.ma
-rw-r--r-- 7801 lleq_drop.ma
-rw-r--r-- 3695 lleq_fqus.ma
-rw-r--r-- 2085 lleq_lleq.ma
-rw-r--r-- 2280 lleq_llor.ma
-rw-r--r-- 1975 lleq_lreq.ma
-rw-r--r-- 2157 llor.ma
-rw-r--r-- 4188 llor_alt.ma
-rw-r--r-- 2301 llor_drop.ma
-rw-r--r-- 10482 llpx_sn.ma
-rw-r--r-- 3473 llpx_sn_alt.ma
-rw-r--r-- 13110 llpx_sn_alt_rec.ma
-rw-r--r-- 23190 llpx_sn_drop.ma
-rw-r--r-- 2175 llpx_sn_frees.ma
-rw-r--r-- 1918 llpx_sn_llor.ma
-rw-r--r-- 2047 llpx_sn_lpx_sn.ma
-rw-r--r-- 3120 llpx_sn_lreq.ma
-rw-r--r-- 1533 llpx_sn_tc.ma