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

drwxr-xr-x		..
-rw-r--r--	11	001.xml	blob \| history \| raw
-rw-r--r--	11	002.xml	blob \| history \| raw
-rw-r--r--	11	003.xml	blob \| history \| raw
-rw-r--r--	19	004.xml	blob \| history \| raw
-rw-r--r--	19	005.xml	blob \| history \| raw
-rw-r--r--	19	006.xml	blob \| history \| raw
-rw-r--r--	12	007.xml	blob \| history \| raw
-rw-r--r--	31	008.xml	blob \| history \| raw
-rw-r--r--	12	009.xml	blob \| history \| raw
-rw-r--r--	19	010.xml	blob \| history \| raw
-rw-r--r--	27	011.xml	blob \| history \| raw
-rw-r--r--	18	012.xml	blob \| history \| raw
-rw-r--r--	30	013.xml	blob \| history \| raw
-rw-r--r--	43	014.xml	blob \| history \| raw
-rw-r--r--	43	015.xml	blob \| history \| raw
-rw-r--r--	18	016.xml	blob \| history \| raw
-rw-r--r--	34	017.xml	blob \| history \| raw
-rw-r--r--	22	018.xml	blob \| history \| raw
-rw-r--r--	20	019.xml	blob \| history \| raw
-rw-r--r--	26	020.xml	blob \| history \| raw
-rw-r--r--	11	021.xml	blob \| history \| raw
-rw-r--r--	11	022.xml	blob \| history \| raw
-rw-r--r--	11	023.xml	blob \| history \| raw
-rw-r--r--	22	024.xml	blob \| history \| raw
-rw-r--r--	33	025.xml	blob \| history \| raw
-rw-r--r--	33	026.xml	blob \| history \| raw
-rw-r--r--	33	027.xml	blob \| history \| raw
-rw-r--r--	11	028.xml	blob \| history \| raw
-rw-r--r--	11	029.xml	blob \| history \| raw
-rw-r--r--	11	030.xml	blob \| history \| raw
-rw-r--r--	11	031.xml	blob \| history \| raw
-rw-r--r--	11	032.xml	blob \| history \| raw
-rw-r--r--	11	033.xml	blob \| history \| raw
-rw-r--r--	11	034.xml	blob \| history \| raw
-rw-r--r--	11	035.xml	blob \| history \| raw
-rw-r--r--	22	036.xml	blob \| history \| raw
-rw-r--r--	11	037.xml	blob \| history \| raw
-rw-r--r--	11	038.xml	blob \| history \| raw
-rw-r--r--	22	039.xml	blob \| history \| raw
-rw-r--r--	37	040.xml	blob \| history \| raw
-rw-r--r--	18	041.xml	blob \| history \| raw
-rw-r--r--	12	042.xml	blob \| history \| raw
-rw-r--r--	24	043.xml	blob \| history \| raw
-rw-r--r--	116	044.xml	blob \| history \| raw
-rw-r--r--	19	045.xml	blob \| history \| raw
-rw-r--r--	27	046.xml	blob \| history \| raw
-rw-r--r--	18	047.xml	blob \| history \| raw
-rw-r--r--	12	048.xml	blob \| history \| raw
-rw-r--r--	13	049.xml	blob \| history \| raw
-rw-r--r--	26	050.xml	blob \| history \| raw
-rw-r--r--	35	051.xml	blob \| history \| raw
-rw-r--r--	19	052.xml	blob \| history \| raw
-rw-r--r--	18	053.xml	blob \| history \| raw
-rw-r--r--	11	054.xml	blob \| history \| raw
-rw-r--r--	22	055.xml	blob \| history \| raw
-rw-r--r--	12	056.xml	blob \| history \| raw
-rw-r--r--	11	057.xml	blob \| history \| raw
-rw-r--r--	20	058.xml	blob \| history \| raw
-rw-r--r--	116	059.xml	blob \| history \| raw
-rw-r--r--	18	060.xml	blob \| history \| raw
-rw-r--r--	13	061.xml	blob \| history \| raw
-rw-r--r--	26	062.xml	blob \| history \| raw
-rw-r--r--	35	063.xml	blob \| history \| raw
-rw-r--r--	19	064.xml	blob \| history \| raw
-rw-r--r--	11	065.xml	blob \| history \| raw
-rw-r--r--	23	066.xml	blob \| history \| raw
-rw-r--r--	16	067.xml	blob \| history \| raw
-rw-r--r--	16	068.xml	blob \| history \| raw
-rw-r--r--	11	069.xml	blob \| history \| raw
-rw-r--r--	11	070.xml	blob \| history \| raw
-rw-r--r--	11	071.xml	blob \| history \| raw
-rw-r--r--	11	072.xml	blob \| history \| raw
-rw-r--r--	11	073.xml	blob \| history \| raw
-rw-r--r--	11	074.xml	blob \| history \| raw
-rw-r--r--	11	075.xml	blob \| history \| raw
-rw-r--r--	11	076.xml	blob \| history \| raw
-rw-r--r--	11	077.xml	blob \| history \| raw
-rw-r--r--	17	078.xml	blob \| history \| raw
-rw-r--r--	17	079.xml	blob \| history \| raw
-rw-r--r--	17	080.xml	blob \| history \| raw
-rw-r--r--	39	081.xml	blob \| history \| raw
-rw-r--r--	11	082.xml	blob \| history \| raw
-rw-r--r--	11	083.xml	blob \| history \| raw
-rw-r--r--	11	084.xml	blob \| history \| raw
-rw-r--r--	11	085.xml	blob \| history \| raw
-rw-r--r--	11	086.xml	blob \| history \| raw
-rw-r--r--	22	087.xml	blob \| history \| raw
-rw-r--r--	22	088.xml	blob \| history \| raw
-rw-r--r--	23	089.xml	blob \| history \| raw
-rw-r--r--	11	090.xml	blob \| history \| raw
-rw-r--r--	17	091.xml	blob \| history \| raw
-rw-r--r--	65	092.xml	blob \| history \| raw
-rw-r--r--	26	093.xml	blob \| history \| raw
-rw-r--r--	20	094.xml	blob \| history \| raw
-rw-r--r--	21	095.xml	blob \| history \| raw
-rw-r--r--	20	096.xml	blob \| history \| raw
-rw-r--r--	19	097.xml	blob \| history \| raw
-rw-r--r--	21	098.xml	blob \| history \| raw
-rw-r--r--	11	099.xml	blob \| history \| raw
-rw-r--r--	11	100.xml	blob \| history \| raw
-rw-r--r--	11	101.xml	blob \| history \| raw
-rw-r--r--	22	102.xml	blob \| history \| raw
-rw-r--r--	22	103.xml	blob \| history \| raw
-rw-r--r--	19	104.xml	blob \| history \| raw
-rw-r--r--	22	105.xml	blob \| history \| raw
-rw-r--r--	23	106.xml	blob \| history \| raw
-rw-r--r--	23	107.xml	blob \| history \| raw
-rw-r--r--	19	108.xml	blob \| history \| raw
-rw-r--r--	16	109.xml	blob \| history \| raw
-rw-r--r--	20	110.xml	blob \| history \| raw
-rw-r--r--	19	111.xml	blob \| history \| raw
-rw-r--r--	18	112.xml	blob \| history \| raw
-rw-r--r--	11	113.xml	blob \| history \| raw
-rw-r--r--	20	114.xml	blob \| history \| raw
-rw-r--r--	12	115.xml	blob \| history \| raw
-rw-r--r--	16	116.xml	blob \| history \| raw
-rw-r--r--	12	117.xml	blob \| history \| raw
-rw-r--r--	13	118.xml	blob \| history \| raw
-rw-r--r--	11	119.xml	blob \| history \| raw