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--	3998	fix00.cic.test	blob \| history \| raw
-rw-r--r--	36	forall00.cic	blob \| history \| raw
-rw-r--r--	510	forall00.cic.test	blob \| history \| raw
-rw-r--r--	71	lambda01.cic	blob \| history \| raw
-rw-r--r--	631	lambda01.cic.test	blob \| history \| raw
-rw-r--r--	71	lambda02.cic	blob \| history \| raw
-rw-r--r--	702	lambda02.cic.test	blob \| history \| raw
-rw-r--r--	86	lambda03.cic	blob \| history \| raw
-rw-r--r--	902	lambda03.cic.test	blob \| history \| raw
-rw-r--r--	175	match00.cic	blob \| history \| raw
-rw-r--r--	869	match00.cic.test	blob \| history \| raw
-rw-r--r--	158	match01.cic	blob \| history \| raw
-rw-r--r--	891	match01.cic.test	blob \| history \| raw
-rw-r--r--	179	match02.cic	blob \| history \| raw
-rw-r--r--	955	match02.cic.test	blob \| history \| raw
-rw-r--r--	92	match03.cic	blob \| history \| raw
-rw-r--r--	675	match03.cic.test	blob \| history \| raw
-rw-r--r--	88	match04.cic	blob \| history \| raw
-rw-r--r--	559	match04.cic.test	blob \| history \| raw
-rw-r--r--	103	match05.cic	blob \| history \| raw
-rw-r--r--	2723	match05.cic.test	blob \| history \| raw
-rw-r--r--	67	match06.cic	blob \| history \| raw
-rw-r--r--	517	match06.cic.test	blob \| history \| raw
-rw-r--r--	87	match07.cic	blob \| history \| raw
-rw-r--r--	670	match07.cic.test	blob \| history \| raw