matita.cs.unibo.it Git - helm.git/tree

drwxr-xr-x		..
-rw-r--r--	15	.cvsignore	blob \| history \| raw
-rw-r--r--	37	apply00.cic	blob \| history \| raw
-rw-r--r--	167	fix00.cic	blob \| history \| raw
-rw-r--r--	4018	fix00.cic.test	blob \| history \| raw
-rw-r--r--	36	forall00.cic	blob \| history \| raw
-rw-r--r--	520	forall00.cic.test	blob \| history \| raw
-rw-r--r--	71	lambda01.cic	blob \| history \| raw
-rw-r--r--	661	lambda01.cic.test	blob \| history \| raw
-rw-r--r--	71	lambda02.cic	blob \| history \| raw
-rw-r--r--	732	lambda02.cic.test	blob \| history \| raw
-rw-r--r--	91	lambda03.cic	blob \| history \| raw
-rw-r--r--	932	lambda03.cic.test	blob \| history \| raw
-rw-r--r--	175	match00.cic	blob \| history \| raw
-rw-r--r--	919	match00.cic.test	blob \| history \| raw
-rw-r--r--	158	match01.cic	blob \| history \| raw
-rw-r--r--	951	match01.cic.test	blob \| history \| raw
-rw-r--r--	179	match02.cic	blob \| history \| raw
-rw-r--r--	1005	match02.cic.test	blob \| history \| raw
-rw-r--r--	92	match03.cic	blob \| history \| raw
-rw-r--r--	725	match03.cic.test	blob \| history \| raw
-rw-r--r--	88	match04.cic	blob \| history \| raw
-rw-r--r--	589	match04.cic.test	blob \| history \| raw
-rw-r--r--	103	match05.cic	blob \| history \| raw
-rw-r--r--	2843	match05.cic.test	blob \| history \| raw
-rw-r--r--	67	match06.cic	blob \| history \| raw
-rw-r--r--	537	match06.cic.test	blob \| history \| raw
-rw-r--r--	87	match07.cic	blob \| history \| raw
-rw-r--r--	720	match07.cic.test	blob \| history \| raw