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

drwxr-xr-x		..
-rw-r--r--	0	.cvsignore	blob \| history \| raw
-rw-r--r--	167	fix00.cic	blob \| history \| raw
-rw-r--r--	3758	fix00.cic.test	blob \| history \| raw
-rw-r--r--	36	forall00.cic	blob \| history \| raw
-rw-r--r--	278	forall00.cic.test	blob \| history \| raw
-rw-r--r--	72	lambda01.cic	blob \| history \| raw
-rw-r--r--	482	lambda01.cic.test	blob \| history \| raw
-rw-r--r--	71	lambda02.cic	blob \| history \| raw
-rw-r--r--	384	lambda02.cic.test	blob \| history \| raw
-rw-r--r--	175	match00.cic	blob \| history \| raw
-rw-r--r--	531	match00.cic.test	blob \| history \| raw
-rw-r--r--	158	match01.cic	blob \| history \| raw
-rw-r--r--	519	match01.cic.test	blob \| history \| raw
-rw-r--r--	179	match02.cic	blob \| history \| raw
-rw-r--r--	592	match02.cic.test	blob \| history \| raw
-rw-r--r--	92	match03.cic	blob \| history \| raw
-rw-r--r--	338	match03.cic.test	blob \| history \| raw
-rw-r--r--	88	match04.cic	blob \| history \| raw
-rw-r--r--	330	match04.cic.test	blob \| history \| raw
-rw-r--r--	103	match05.cic	blob \| history \| raw
-rw-r--r--	369	match05.cic.test	blob \| history \| raw
-rw-r--r--	67	match06.cic	blob \| history \| raw
-rw-r--r--	341	match06.cic.test	blob \| history \| raw