matita.cs.unibo.it Git - helm.git/tree - helm/DEVEL/pxp/pxp/rtests/canonxml/data_jclark

drwxr-xr-x		..
-rw-r--r--	56	001.xml	blob \| history \| raw
-rw-r--r--	57	002.xml	blob \| history \| raw
-rw-r--r--	57	003.xml	blob \| history \| raw
-rw-r--r--	97	004.xml	blob \| history \| raw
-rw-r--r--	99	005.xml	blob \| history \| raw
-rw-r--r--	97	006.xml	blob \| history \| raw
-rw-r--r--	61	007.xml	blob \| history \| raw
-rw-r--r--	81	008.xml	blob \| history \| raw
-rw-r--r--	62	009.xml	blob \| history \| raw
-rw-r--r--	98	010.xml	blob \| history \| raw
-rw-r--r--	123	011.xml	blob \| history \| raw
-rw-r--r--	95	012.xml	blob \| history \| raw
-rw-r--r--	119	013.xml	blob \| history \| raw
-rw-r--r--	145	014.xml	blob \| history \| raw
-rw-r--r--	145	015.xml	blob \| history \| raw
-rw-r--r--	62	016.xml	blob \| history \| raw
-rw-r--r--	79	017.xml	blob \| history \| raw
-rw-r--r--	73	018.xml	blob \| history \| raw
-rw-r--r--	70	019.xml	blob \| history \| raw
-rw-r--r--	73	020.xml	blob \| history \| raw
-rw-r--r--	74	021.xml	blob \| history \| raw
-rw-r--r--	76	022.xml	blob \| history \| raw
-rw-r--r--	74	023.xml	blob \| history \| raw
-rw-r--r--	110	024.xml	blob \| history \| raw
-rw-r--r--	95	025.xml	blob \| history \| raw
-rw-r--r--	91	026.xml	blob \| history \| raw
-rw-r--r--	89	027.xml	blob \| history \| raw
-rw-r--r--	78	028.xml	blob \| history \| raw
-rw-r--r--	78	029.xml	blob \| history \| raw
-rw-r--r--	80	030.xml	blob \| history \| raw
-rw-r--r--	95	031.xml	blob \| history \| raw
-rw-r--r--	95	032.xml	blob \| history \| raw
-rw-r--r--	112	033.xml	blob \| history \| raw
-rw-r--r--	51	034.xml	blob \| history \| raw
-rw-r--r--	52	035.xml	blob \| history \| raw
-rw-r--r--	68	036.xml	blob \| history \| raw
-rw-r--r--	74	037.xml	blob \| history \| raw
-rw-r--r--	74	038.xml	blob \| history \| raw
-rw-r--r--	68	039.xml	blob \| history \| raw
-rw-r--r--	120	040.xml	blob \| history \| raw
-rw-r--r--	100	041.xml	blob \| history \| raw
-rw-r--r--	94	042.xml	blob \| history \| raw
-rw-r--r--	102	043.xml	blob \| history \| raw
-rw-r--r--	177	044.xml	blob \| history \| raw
-rw-r--r--	114	045.xml	blob \| history \| raw
-rw-r--r--	114	046.xml	blob \| history \| raw
-rw-r--r--	59	047.xml	blob \| history \| raw
-rw-r--r--	57	048.xml	blob \| history \| raw
-rw-r--r--	124	049.xml	blob \| history \| raw
-rw-r--r--	132	050.xml	blob \| history \| raw
-rw-r--r--	140	051.xml	blob \| history \| raw
-rw-r--r--	64	052.xml	blob \| history \| raw
-rw-r--r--	91	053.xml	blob \| history \| raw
-rw-r--r--	62	054.xml	blob \| history \| raw
-rw-r--r--	69	055.xml	blob \| history \| raw
-rw-r--r--	100	056.xml	blob \| history \| raw
-rw-r--r--	51	057.xml	blob \| history \| raw
-rw-r--r--	106	058.xml	blob \| history \| raw
-rw-r--r--	217	059.xml	blob \| history \| raw
-rw-r--r--	63	060.xml	blob \| history \| raw
-rw-r--r--	62	061.xml	blob \| history \| raw
-rw-r--r--	83	062.xml	blob \| history \| raw
-rw-r--r--	104	063.xml	blob \| history \| raw
-rw-r--r--	75	064.xml	blob \| history \| raw
-rw-r--r--	76	065.xml	blob \| history \| raw
-rw-r--r--	148	066.xml	blob \| history \| raw
-rw-r--r--	61	067.xml	blob \| history \| raw
-rw-r--r--	79	068.xml	blob \| history \| raw
-rw-r--r--	88	069.xml	blob \| history \| raw
-rw-r--r--	76	070.xml	blob \| history \| raw
-rw-r--r--	85	071.xml	blob \| history \| raw
-rw-r--r--	88	072.xml	blob \| history \| raw
-rw-r--r--	89	073.xml	blob \| history \| raw
-rw-r--r--	89	074.xml	blob \| history \| raw
-rw-r--r--	91	075.xml	blob \| history \| raw
-rw-r--r--	185	076.xml	blob \| history \| raw
-rw-r--r--	88	077.xml	blob \| history \| raw
-rw-r--r--	95	078.xml	blob \| history \| raw
-rw-r--r--	96	079.xml	blob \| history \| raw
-rw-r--r--	90	080.xml	blob \| history \| raw
-rw-r--r--	133	081.xml	blob \| history \| raw
-rw-r--r--	85	082.xml	blob \| history \| raw
-rw-r--r--	96	083.xml	blob \| history \| raw
-rw-r--r--	53	084.xml	blob \| history \| raw
-rw-r--r--	96	085.xml	blob \| history \| raw
-rw-r--r--	94	086.xml	blob \| history \| raw
-rw-r--r--	101	087.xml	blob \| history \| raw
-rw-r--r--	82	088.xml	blob \| history \| raw
-rw-r--r--	103	089.xml	blob \| history \| raw
-rw-r--r--	143	090.xml	blob \| history \| raw
-rw-r--r--	174	091.xml	blob \| history \| raw
-rw-r--r--	92	092.xml	blob \| history \| raw
-rw-r--r--	59	093.xml	blob \| history \| raw
-rw-r--r--	106	094.xml	blob \| history \| raw
-rw-r--r--	135	095.xml	blob \| history \| raw
-rw-r--r--	94	096.xml	blob \| history \| raw
-rw-r--r--	33	097.ent	blob \| history \| raw
-rw-r--r--	149	097.xml	blob \| history \| raw
-rw-r--r--	66	098.xml	blob \| history \| raw
-rw-r--r--	95	099.xml	blob \| history \| raw
-rw-r--r--	96	100.xml	blob \| history \| raw
-rw-r--r--	76	101.xml	blob \| history \| raw
-rw-r--r--	98	102.xml	blob \| history \| raw
-rw-r--r--	65	103.xml	blob \| history \| raw
-rw-r--r--	96	104.xml	blob \| history \| raw
-rw-r--r--	99	105.xml	blob \| history \| raw
-rw-r--r--	100	106.xml	blob \| history \| raw
-rw-r--r--	100	107.xml	blob \| history \| raw
-rw-r--r--	114	108.xml	blob \| history \| raw
-rw-r--r--	93	109.xml	blob \| history \| raw
-rw-r--r--	123	110.xml	blob \| history \| raw
-rw-r--r--	118	111.xml	blob \| history \| raw
-rw-r--r--	84	112.xml	blob \| history \| raw
-rw-r--r--	86	113.xml	blob \| history \| raw
-rw-r--r--	91	114.xml	blob \| history \| raw
-rw-r--r--	97	115.xml	blob \| history \| raw
-rw-r--r--	69	116.xml	blob \| history \| raw
-rw-r--r--	81	117.xml	blob \| history \| raw
-rw-r--r--	82	118.xml	blob \| history \| raw
-rw-r--r--	62	119.xml	blob \| history \| raw
drwxr-xr-x	-	out	tree \| history