]> matita.cs.unibo.it Git - helm.git/tree
0ab4d97b73351f4318a7c001a8885ef8dcd0d979
-rw-r--r-- 10429 dec.ma
-rw-r--r-- 1710 defs.ma
-rw-r--r-- 53102 fsubst0.ma
-rw-r--r-- 19295 fwd.ma
-rw-r--r-- 6248 left.ma
-rw-r--r-- 1706 pc1.ma
-rw-r--r-- 27043 props.ma
-rw-r--r-- 2908 subst1.ma
-rw-r--r-- 6640 wcpr0.ma