matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambdadelta/basic

drwxr-xr-x		..
-rw-r--r--	1196	snabbr_2.ma	blob \| history \| raw
-rw-r--r--	1196	snabst_2.ma	blob \| history \| raw
-rw-r--r--	1204	snapplvector_2.ma	blob \| history \| raw
-rw-r--r--	1201	snbind1_2.ma	blob \| history \| raw
-rw-r--r--	1220	snbind2_3.ma	blob \| history \| raw
-rw-r--r--	1200	snitem_2.ma	blob \| history \| raw
-rw-r--r--	1177	snvoid_1.ma	blob \| history \| raw
-rw-r--r--	1180	weight_1.ma	blob \| history \| raw
-rw-r--r--	1200	weight_2.ma	blob \| history \| raw
-rw-r--r--	1220	weight_3.ma	blob \| history \| raw