]> matita.cs.unibo.it Git - helm.git/tree - matita/contribs/LAMBDA-TYPES/LambdaDelta-1/ty3/
matita 0.5.1 tagged 0.5.1
[helm.git] / matita / contribs / LAMBDA-TYPES / LambdaDelta-1 / ty3 /
drwxr-xr-x   ..
-rw-r--r-- 13083 arity.ma
-rw-r--r-- 6415 arity_props.ma
-rw-r--r-- 32338 dec.ma
-rw-r--r-- 2807 defs.ma
-rw-r--r-- 73546 fsubst0.ma
-rw-r--r-- 66019 fwd.ma
-rw-r--r-- 20006 fwd_nf2.ma
-rw-r--r-- 32298 nf2.ma
-rw-r--r-- 52128 pr3.ma
-rw-r--r-- 35508 pr3_props.ma
-rw-r--r-- 49055 props.ma
-rw-r--r-- 17157 sty0.ma
-rw-r--r-- 82288 subst1.ma