]> matita.cs.unibo.it Git - helm.git/tree
e4f289346254fa9bc43db714e0db6ea4054d9de0
-rw-r--r-- 10169 dec.ma
-rw-r--r-- 1653 defs.ma
-rw-r--r-- 53069 fsubst0.ma
-rw-r--r-- 21352 fwd.ma
-rw-r--r-- 6206 left.ma
-rw-r--r-- 2010 nf2.ma
-rw-r--r-- 1677 pc1.ma
-rw-r--r-- 24381 props.ma
-rw-r--r-- 2862 subst1.ma
-rw-r--r-- 5500 wcpr0.ma