]> matita.cs.unibo.it Git - helm.git/tree
3276c7c2a17b3bb0fe90935a54d955d7d8dc31a8
-rw-r--r-- 10228 dec.ma
-rw-r--r-- 1705 defs.ma
-rw-r--r-- 53096 fsubst0.ma
-rw-r--r-- 21388 fwd.ma
-rw-r--r-- 6258 left.ma
-rw-r--r-- 2047 nf2.ma
-rw-r--r-- 1700 pc1.ma
-rw-r--r-- 28336 props.ma
-rw-r--r-- 2902 subst1.ma
-rw-r--r-- 6634 wcpr0.ma