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

drwxr-xr-x		..
-rw-r--r--	1960	dbfr.ma	blob \| history \| raw
-rw-r--r--	3362	dbfr_ibfr.ma	blob \| history \| raw
-rw-r--r--	2769	dbfr_lift.ma	blob \| history \| raw
-rw-r--r--	1755	dfr.ma	blob \| history \| raw
-rw-r--r--	3141	dfr_ifr.ma	blob \| history \| raw
-rw-r--r--	2379	dfr_lift.ma	blob \| history \| raw
-rw-r--r--	2010	ibfr.ma	blob \| history \| raw
-rw-r--r--	3074	ibfr_lift.ma	blob \| history \| raw
-rw-r--r--	3240	ibfr_unwind.ma	blob \| history \| raw
-rw-r--r--	1807	ifr.ma	blob \| history \| raw
-rw-r--r--	2668	ifr_lift.ma	blob \| history \| raw
-rw-r--r--	3016	ifr_unwind.ma	blob \| history \| raw