]> matita.cs.unibo.it Git - helm.git/tree
0503bdee6dafac9232766bd818adb7ccb705b731
-rw-r--r-- 2023 arity.ma
-rw-r--r-- 12195 clear.ma
-rw-r--r-- 2216 csuba.ma
-rw-r--r-- 1814 defs.ma
-rw-r--r-- 34351 drop.ma
-rw-r--r-- 5940 drop1.ma
-rw-r--r-- 48718 fwd.ma
-rw-r--r-- 2613 getl.ma
-rw-r--r-- 1483 props.ma