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

drwxr-xr-x		..
-rw-r--r--	2041	dbfr.ma	blob \| history \| raw
-rw-r--r--	3604	dbfr_ibfr.ma	blob \| history \| raw
-rw-r--r--	2461	dbfr_lift.ma	blob \| history \| raw
-rw-r--r--	1751	dfr.ma	blob \| history \| raw
-rw-r--r--	3116	dfr_ifr.ma	blob \| history \| raw
-rw-r--r--	2369	dfr_lift.ma	blob \| history \| raw
-rw-r--r--	2088	ibfr.ma	blob \| history \| raw
-rw-r--r--	1802	ifr.ma	blob \| history \| raw
-rw-r--r--	2658	ifr_lift.ma	blob \| history \| raw
-rw-r--r--	2991	ifr_unwind.ma	blob \| history \| raw