]> matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/LAMBDA-TYPES/Basic-2/pr3/
Stuff moved from old Matita.
[helm.git] / matita / matita / contribs / LAMBDA-TYPES / Basic-2 / pr3 /
drwxr-xr-x   ..
-rw-r--r-- 1112 defs.mma
-rw-r--r-- 1185 fwd.mma
-rw-r--r-- 1220 iso.mma
-rw-r--r-- 1185 pr1.mma
-rw-r--r-- 1185 pr3.mma
-rw-r--r-- 1220 props.mma
-rw-r--r-- 1190 subst1.mma
-rw-r--r-- 1190 wcpr0.mma