]> matita.cs.unibo.it Git - helm.git/tree
b75ac961ebce54a6a8d6c9408d6cf8411ee241fc
-rw-r--r-- 10168 dec.ma
-rw-r--r-- 1653 defs.ma
-rw-r--r-- 53069 fsubst0.ma
-rw-r--r-- 21351 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