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

drwxr-xr-x		..
-rw-r--r--	212	001.out	blob \| history \| raw
-rw-r--r--	27	001.xml	blob \| history \| raw
-rw-r--r--	245	002.out	blob \| history \| raw
-rw-r--r--	28	002.xml	blob \| history \| raw
-rw-r--r--	219	003.out	blob \| history \| raw
-rw-r--r--	17	003.xml	blob \| history \| raw
-rw-r--r--	223	004.out	blob \| history \| raw
-rw-r--r--	31	004.xml	blob \| history \| raw
-rw-r--r--	223	005.out	blob \| history \| raw
-rw-r--r--	31	005.xml	blob \| history \| raw
-rw-r--r--	236	006.out	blob \| history \| raw
-rw-r--r--	41	006.xml	blob \| history \| raw
-rw-r--r--	237	007.out	blob \| history \| raw
-rw-r--r--	24	007.xml	blob \| history \| raw
-rw-r--r--	237	008.out	blob \| history \| raw
-rw-r--r--	21	008.xml	blob \| history \| raw
-rw-r--r--	237	009.out	blob \| history \| raw
-rw-r--r--	17	009.xml	blob \| history \| raw
-rw-r--r--	237	010.out	blob \| history \| raw
-rw-r--r--	17	010.xml	blob \| history \| raw
-rw-r--r--	211	011.out	blob \| history \| raw
-rw-r--r--	15	011.xml	blob \| history \| raw
-rw-r--r--	211	012.out	blob \| history \| raw
-rw-r--r--	18	012.xml	blob \| history \| raw
-rw-r--r--	230	013.out	blob \| history \| raw
-rw-r--r--	20	013.xml	blob \| history \| raw
-rw-r--r--	241	014.out	blob \| history \| raw
-rw-r--r--	23	014.xml	blob \| history \| raw
-rw-r--r--	211	015.out	blob \| history \| raw
-rw-r--r--	16	015.xml	blob \| history \| raw
-rw-r--r--	214	016.out	blob \| history \| raw
-rw-r--r--	25	016.xml	blob \| history \| raw
-rw-r--r--	252	017.out	blob \| history \| raw
-rw-r--r--	21	017.xml	blob \| history \| raw
-rw-r--r--	252	018.out	blob \| history \| raw
-rw-r--r--	31	018.xml	blob \| history \| raw
-rw-r--r--	245	019.out	blob \| history \| raw
-rw-r--r--	9	019.xml	blob \| history \| raw
-rw-r--r--	237	020.out	blob \| history \| raw
-rw-r--r--	23	020.xml	blob \| history \| raw
-rw-r--r--	237	021.out	blob \| history \| raw
-rw-r--r--	21	021.xml	blob \| history \| raw
-rw-r--r--	237	022.out	blob \| history \| raw
-rw-r--r--	24	022.xml	blob \| history \| raw
-rw-r--r--	212	023.out	blob \| history \| raw
-rw-r--r--	20	023.xml	blob \| history \| raw
-rw-r--r--	245	024.out	blob \| history \| raw
-rw-r--r--	25	024.xml	blob \| history \| raw
-rw-r--r--	239	025.out	blob \| history \| raw
-rw-r--r--	15	025.xml	blob \| history \| raw
-rw-r--r--	239	026.out	blob \| history \| raw
-rw-r--r--	16	026.xml	blob \| history \| raw
-rw-r--r--	207	027.out	blob \| history \| raw
-rw-r--r--	22	027.xml	blob \| history \| raw
-rw-r--r--	223	028.out	blob \| history \| raw
-rw-r--r--	40	028.xml	blob \| history \| raw
-rw-r--r--	239	029.out	blob \| history \| raw
-rw-r--r--	22	029.xml	blob \| history \| raw
-rw-r--r--	185	030.out	blob \| history \| raw
-rw-r--r--	48	030.xml	blob \| history \| raw
-rw-r--r--	223	031.out	blob \| history \| raw
-rw-r--r--	57	031.xml	blob \| history \| raw
-rw-r--r--	185	032.out	blob \| history \| raw
-rw-r--r--	64	032.xml	blob \| history \| raw
-rw-r--r--	184	033.out	blob \| history \| raw
-rw-r--r--	19	033.xml	blob \| history \| raw
-rw-r--r--	184	034.out	blob \| history \| raw
-rw-r--r--	64	034.xml	blob \| history \| raw
-rw-r--r--	245	035.out	blob \| history \| raw
-rw-r--r--	32	035.xml	blob \| history \| raw
-rw-r--r--	214	036.out	blob \| history \| raw
-rw-r--r--	25	036.xml	blob \| history \| raw
-rw-r--r--	229	037.out	blob \| history \| raw
-rw-r--r--	18	037.xml	blob \| history \| raw
-rw-r--r--	237	038.out	blob \| history \| raw
-rw-r--r--	36	038.xml	blob \| history \| raw
-rw-r--r--	226	039.out	blob \| history \| raw
-rw-r--r--	20	039.xml	blob \| history \| raw
-rw-r--r--	243	040.out	blob \| history \| raw
-rw-r--r--	24	040.xml	blob \| history \| raw
-rw-r--r--	243	041.out	blob \| history \| raw
-rw-r--r--	19	041.xml	blob \| history \| raw
-rw-r--r--	170	042.out	blob \| history \| raw
-rw-r--r--	14	042.xml	blob \| history \| raw
-rw-r--r--	214	043.out	blob \| history \| raw
-rw-r--r--	20	043.xml	blob \| history \| raw
-rw-r--r--	244	044.out	blob \| history \| raw
-rw-r--r--	13	044.xml	blob \| history \| raw
-rw-r--r--	212	045.out	blob \| history \| raw
-rw-r--r--	18	045.xml	blob \| history \| raw
-rw-r--r--	212	046.out	blob \| history \| raw
-rw-r--r--	21	046.xml	blob \| history \| raw
-rw-r--r--	212	047.out	blob \| history \| raw
-rw-r--r--	20	047.xml	blob \| history \| raw
-rw-r--r--	223	048.out	blob \| history \| raw
-rw-r--r--	26	048.xml	blob \| history \| raw
-rw-r--r--	226	049.out	blob \| history \| raw
-rw-r--r--	54	049.xml	blob \| history \| raw
-rw-r--r--	169	050.out	blob \| history \| raw
-rw-r--r--	0	050.xml	blob \| history \| raw
-rw-r--r--	252	051.out	blob \| history \| raw
-rw-r--r--	44	051.xml	blob \| history \| raw
-rw-r--r--	217	052.out	blob \| history \| raw
-rw-r--r--	37	052.xml	blob \| history \| raw
-rw-r--r--	226	053.out	blob \| history \| raw
-rw-r--r--	12	053.xml	blob \| history \| raw
-rw-r--r--	261	054.out	blob \| history \| raw
-rw-r--r--	69	054.xml	blob \| history \| raw
-rw-r--r--	219	055.out	blob \| history \| raw
-rw-r--r--	28	055.xml	blob \| history \| raw
-rw-r--r--	218	056.out	blob \| history \| raw
-rw-r--r--	46	056.xml	blob \| history \| raw
-rw-r--r--	206	057.out	blob \| history \| raw
-rw-r--r--	70	057.xml	blob \| history \| raw
-rw-r--r--	229	058.out	blob \| history \| raw
-rw-r--r--	93	058.xml	blob \| history \| raw
-rw-r--r--	250	059.out	blob \| history \| raw
-rw-r--r--	85	059.xml	blob \| history \| raw
-rw-r--r--	301	060.out	blob \| history \| raw
-rw-r--r--	88	060.xml	blob \| history \| raw
-rw-r--r--	261	061.out	blob \| history \| raw
-rw-r--r--	68	061.xml	blob \| history \| raw
-rw-r--r--	215	062.out	blob \| history \| raw
-rw-r--r--	56	062.xml	blob \| history \| raw
-rw-r--r--	261	063.out	blob \| history \| raw
-rw-r--r--	47	063.xml	blob \| history \| raw
-rw-r--r--	215	064.out	blob \| history \| raw
-rw-r--r--	83	064.xml	blob \| history \| raw
-rw-r--r--	215	065.out	blob \| history \| raw
-rw-r--r--	92	065.xml	blob \| history \| raw
-rw-r--r--	215	066.out	blob \| history \| raw
-rw-r--r--	92	066.xml	blob \| history \| raw
-rw-r--r--	215	067.out	blob \| history \| raw
-rw-r--r--	85	067.xml	blob \| history \| raw
-rw-r--r--	261	068.out	blob \| history \| raw
-rw-r--r--	97	068.xml	blob \| history \| raw
-rw-r--r--	227	069.out	blob \| history \| raw
-rw-r--r--	140	069.xml	blob \| history \| raw
-rw-r--r--	236	070.out	blob \| history \| raw
-rw-r--r--	57	070.xml	blob \| history \| raw
-rw-r--r--	349	071.out	blob \| history \| raw
-rw-r--r--	95	071.xml	blob \| history \| raw
-rw-r--r--	237	072.out	blob \| history \| raw
-rw-r--r--	17	072.xml	blob \| history \| raw
-rw-r--r--	235	073.out	blob \| history \| raw
-rw-r--r--	57	073.xml	blob \| history \| raw
-rw-r--r--	282	074.out	blob \| history \| raw
-rw-r--r--	73	074.xml	blob \| history \| raw
-rw-r--r--	235	075.out	blob \| history \| raw
-rw-r--r--	101	075.xml	blob \| history \| raw
-rw-r--r--	237	076.out	blob \| history \| raw
-rw-r--r--	22	076.xml	blob \| history \| raw
-rw-r--r--	237	077.out	blob \| history \| raw
-rw-r--r--	63	077.xml	blob \| history \| raw
-rw-r--r--	238	078.out	blob \| history \| raw
-rw-r--r--	87	078.xml	blob \| history \| raw
-rw-r--r--	236	079.out	blob \| history \| raw
-rw-r--r--	146	079.xml	blob \| history \| raw
-rw-r--r--	236	080.out	blob \| history \| raw
-rw-r--r--	153	080.xml	blob \| history \| raw
-rw-r--r--	293	081.out	blob \| history \| raw
-rw-r--r--	64	081.xml	blob \| history \| raw
-rw-r--r--	294	082.out	blob \| history \| raw
-rw-r--r--	110	082.xml	blob \| history \| raw
-rw-r--r--	221	083.out	blob \| history \| raw
-rw-r--r--	67	083.xml	blob \| history \| raw
-rw-r--r--	222	084.out	blob \| history \| raw
-rw-r--r--	118	084.xml	blob \| history \| raw
-rw-r--r--	232	085.out	blob \| history \| raw
-rw-r--r--	49	085.xml	blob \| history \| raw
-rw-r--r--	232	086.out	blob \| history \| raw
-rw-r--r--	67	086.xml	blob \| history \| raw
-rw-r--r--	232	087.out	blob \| history \| raw
-rw-r--r--	69	087.xml	blob \| history \| raw
-rw-r--r--	230	088.out	blob \| history \| raw
-rw-r--r--	111	088.xml	blob \| history \| raw
-rw-r--r--	206	089.out	blob \| history \| raw
-rw-r--r--	74	089.xml	blob \| history \| raw
-rw-r--r--	283	090.out	blob \| history \| raw
-rw-r--r--	70	090.xml	blob \| history \| raw
-rw-r--r--	206	091.out	blob \| history \| raw
-rw-r--r--	97	091.xml	blob \| history \| raw
-rw-r--r--	279	092.out	blob \| history \| raw
-rw-r--r--	70	092.xml	blob \| history \| raw
-rw-r--r--	237	093.out	blob \| history \| raw
-rw-r--r--	18	093.xml	blob \| history \| raw
-rw-r--r--	212	094.out	blob \| history \| raw
-rw-r--r--	34	094.xml	blob \| history \| raw
-rw-r--r--	212	095.out	blob \| history \| raw
-rw-r--r--	51	095.xml	blob \| history \| raw
-rw-r--r--	230	096.out	blob \| history \| raw
-rw-r--r--	50	096.xml	blob \| history \| raw
-rw-r--r--	230	097.out	blob \| history \| raw
-rw-r--r--	51	097.xml	blob \| history \| raw
-rw-r--r--	212	098.out	blob \| history \| raw
-rw-r--r--	47	098.xml	blob \| history \| raw
-rw-r--r--	212	099.out	blob \| history \| raw
-rw-r--r--	45	099.xml	blob \| history \| raw
-rw-r--r--	225	100.out	blob \| history \| raw
-rw-r--r--	52	100.xml	blob \| history \| raw
-rw-r--r--	235	101.out	blob \| history \| raw
-rw-r--r--	52	101.xml	blob \| history \| raw
-rw-r--r--	215	102.out	blob \| history \| raw
-rw-r--r--	36	102.xml	blob \| history \| raw
-rw-r--r--	226	103.out	blob \| history \| raw
-rw-r--r--	58	103.xml	blob \| history \| raw
-rw-r--r--	241	104.out	blob \| history \| raw
-rw-r--r--	60	104.xml	blob \| history \| raw
-rw-r--r--	252	105.out	blob \| history \| raw
-rw-r--r--	39	105.xml	blob \| history \| raw
-rw-r--r--	217	106.out	blob \| history \| raw
-rw-r--r--	29	106.xml	blob \| history \| raw
-rw-r--r--	261	107.out	blob \| history \| raw
-rw-r--r--	44	107.xml	blob \| history \| raw
-rw-r--r--	252	108.out	blob \| history \| raw
-rw-r--r--	29	108.xml	blob \| history \| raw
-rw-r--r--	217	109.out	blob \| history \| raw
-rw-r--r--	49	109.xml	blob \| history \| raw
-rw-r--r--	226	110.out	blob \| history \| raw
-rw-r--r--	50	110.xml	blob \| history \| raw
-rw-r--r--	212	111.out	blob \| history \| raw
-rw-r--r--	59	111.xml	blob \| history \| raw
-rw-r--r--	252	112.out	blob \| history \| raw
-rw-r--r--	30	112.xml	blob \| history \| raw
-rw-r--r--	238	113.out	blob \| history \| raw
-rw-r--r--	51	113.xml	blob \| history \| raw
-rw-r--r--	238	114.out	blob \| history \| raw
-rw-r--r--	49	114.xml	blob \| history \| raw
-rw-r--r--	237	115.out	blob \| history \| raw
-rw-r--r--	59	115.xml	blob \| history \| raw
-rw-r--r--	279	116.out	blob \| history \| raw
-rw-r--r--	58	116.xml	blob \| history \| raw
-rw-r--r--	279	117.out	blob \| history \| raw
-rw-r--r--	58	117.xml	blob \| history \| raw
-rw-r--r--	237	118.out	blob \| history \| raw
-rw-r--r--	54	118.xml	blob \| history \| raw
-rw-r--r--	279	119.out	blob \| history \| raw
-rw-r--r--	60	119.xml	blob \| history \| raw
-rw-r--r--	279	120.out	blob \| history \| raw
-rw-r--r--	56	120.xml	blob \| history \| raw
-rw-r--r--	219	121.out	blob \| history \| raw
-rw-r--r--	60	121.xml	blob \| history \| raw
-rw-r--r--	245	122.out	blob \| history \| raw
-rw-r--r--	60	122.xml	blob \| history \| raw
-rw-r--r--	206	123.out	blob \| history \| raw
-rw-r--r--	56	123.xml	blob \| history \| raw
-rw-r--r--	222	124.out	blob \| history \| raw
-rw-r--r--	61	124.xml	blob \| history \| raw
-rw-r--r--	222	125.out	blob \| history \| raw
-rw-r--r--	58	125.xml	blob \| history \| raw
-rw-r--r--	222	126.out	blob \| history \| raw
-rw-r--r--	57	126.xml	blob \| history \| raw
-rw-r--r--	222	127.out	blob \| history \| raw
-rw-r--r--	57	127.xml	blob \| history \| raw
-rw-r--r--	233	128.out	blob \| history \| raw
-rw-r--r--	52	128.xml	blob \| history \| raw
-rw-r--r--	227	129.out	blob \| history \| raw
-rw-r--r--	60	129.xml	blob \| history \| raw
-rw-r--r--	206	130.out	blob \| history \| raw
-rw-r--r--	60	130.xml	blob \| history \| raw
-rw-r--r--	206	131.out	blob \| history \| raw
-rw-r--r--	60	131.xml	blob \| history \| raw
-rw-r--r--	245	132.out	blob \| history \| raw
-rw-r--r--	76	132.xml	blob \| history \| raw
-rw-r--r--	222	133.out	blob \| history \| raw
-rw-r--r--	52	133.xml	blob \| history \| raw
-rw-r--r--	206	134.out	blob \| history \| raw
-rw-r--r--	52	134.xml	blob \| history \| raw
-rw-r--r--	244	135.out	blob \| history \| raw
-rw-r--r--	55	135.xml	blob \| history \| raw
-rw-r--r--	233	136.out	blob \| history \| raw
-rw-r--r--	60	136.xml	blob \| history \| raw
-rw-r--r--	215	137.out	blob \| history \| raw
-rw-r--r--	55	137.xml	blob \| history \| raw
-rw-r--r--	222	138.out	blob \| history \| raw
-rw-r--r--	54	138.xml	blob \| history \| raw
-rw-r--r--	222	139.out	blob \| history \| raw
-rw-r--r--	49	139.xml	blob \| history \| raw
-rw-r--r--	287	140.out	blob \| history \| raw
-rw-r--r--	70	140.xml	blob \| history \| raw
-rw-r--r--	254	141.out	blob \| history \| raw
-rw-r--r--	70	141.xml	blob \| history \| raw
-rw-r--r--	247	142.out	blob \| history \| raw
-rw-r--r--	60	142.xml	blob \| history \| raw
-rw-r--r--	248	143.out	blob \| history \| raw
-rw-r--r--	61	143.xml	blob \| history \| raw
-rw-r--r--	251	144.out	blob \| history \| raw
-rw-r--r--	64	144.xml	blob \| history \| raw
-rw-r--r--	251	145.out	blob \| history \| raw
-rw-r--r--	64	145.xml	blob \| history \| raw
-rw-r--r--	253	146.out	blob \| history \| raw
-rw-r--r--	66	146.xml	blob \| history \| raw
-rw-r--r--	169	147.out	blob \| history \| raw
-rw-r--r--	35	147.xml	blob \| history \| raw
-rw-r--r--	169	148.out	blob \| history \| raw
-rw-r--r--	43	148.xml	blob \| history \| raw
-rw-r--r--	205	149.out	blob \| history \| raw
-rw-r--r--	78	149.xml	blob \| history \| raw
-rw-r--r--	169	150.out	blob \| history \| raw
-rw-r--r--	35	150.xml	blob \| history \| raw
-rw-r--r--	169	151.out	blob \| history \| raw
-rw-r--r--	35	151.xml	blob \| history \| raw
-rw-r--r--	212	152.out	blob \| history \| raw
-rw-r--r--	37	152.xml	blob \| history \| raw
-rw-r--r--	211	153.out	blob \| history \| raw
-rw-r--r--	98	153.xml	blob \| history \| raw
-rw-r--r--	224	154.out	blob \| history \| raw
-rw-r--r--	34	154.xml	blob \| history \| raw
-rw-r--r--	224	155.out	blob \| history \| raw
-rw-r--r--	34	155.xml	blob \| history \| raw
-rw-r--r--	224	156.out	blob \| history \| raw
-rw-r--r--	35	156.xml	blob \| history \| raw
-rw-r--r--	224	157.out	blob \| history \| raw
-rw-r--r--	21	157.xml	blob \| history \| raw
-rw-r--r--	220	158.out	blob \| history \| raw
-rw-r--r--	137	158.xml	blob \| history \| raw
-rw-r--r--	238	159.out	blob \| history \| raw
-rw-r--r--	99	159.xml	blob \| history \| raw
-rw-r--r--	263	160.out	blob \| history \| raw
-rw-r--r--	93	160.xml	blob \| history \| raw
-rw-r--r--	264	161.out	blob \| history \| raw
-rw-r--r--	76	161.xml	blob \| history \| raw
-rw-r--r--	263	162.out	blob \| history \| raw
-rw-r--r--	96	162.xml	blob \| history \| raw
-rw-r--r--	217	163.out	blob \| history \| raw
-rw-r--r--	77	163.xml	blob \| history \| raw
-rw-r--r--	242	164.out	blob \| history \| raw
-rw-r--r--	78	164.xml	blob \| history \| raw
-rw-r--r--	227	165.out	blob \| history \| raw
-rw-r--r--	72	165.xml	blob \| history \| raw
-rw-r--r--	184	166.out	blob \| history \| raw
-rw-r--r--	15	166.xml	blob \| history \| raw
-rw-r--r--	184	167.out	blob \| history \| raw
-rw-r--r--	15	167.xml	blob \| history \| raw
-rw-r--r--	184	168.out	blob \| history \| raw
-rw-r--r--	15	168.xml	blob \| history \| raw
-rw-r--r--	184	169.out	blob \| history \| raw
-rw-r--r--	15	169.xml	blob \| history \| raw
-rw-r--r--	184	170.out	blob \| history \| raw
-rw-r--r--	16	170.xml	blob \| history \| raw
-rw-r--r--	184	171.out	blob \| history \| raw
-rw-r--r--	25	171.xml	blob \| history \| raw
-rw-r--r--	184	172.out	blob \| history \| raw
-rw-r--r--	23	172.xml	blob \| history \| raw
-rw-r--r--	184	173.out	blob \| history \| raw
-rw-r--r--	20	173.xml	blob \| history \| raw
-rw-r--r--	252	174.out	blob \| history \| raw
-rw-r--r--	27	174.xml	blob \| history \| raw
-rw-r--r--	185	175.out	blob \| history \| raw
-rw-r--r--	76	175.xml	blob \| history \| raw
-rw-r--r--	208	176.out	blob \| history \| raw
-rw-r--r--	50	176.xml	blob \| history \| raw
-rw-r--r--	184	177.out	blob \| history \| raw
-rw-r--r--	60	177.xml	blob \| history \| raw
-rw-r--r--	230	178.out	blob \| history \| raw
-rw-r--r--	97	178.xml	blob \| history \| raw
-rw-r--r--	231	179.out	blob \| history \| raw
-rw-r--r--	50	179.xml	blob \| history \| raw
-rw-r--r--	236	180.out	blob \| history \| raw
-rw-r--r--	101	180.xml	blob \| history \| raw
-rw-r--r--	294	181.out	blob \| history \| raw
-rw-r--r--	90	181.xml	blob \| history \| raw
-rw-r--r--	249	182.out	blob \| history \| raw
-rw-r--r--	85	182.xml	blob \| history \| raw
-rw-r--r--	207	183.out	blob \| history \| raw
-rw-r--r--	86	183.xml	blob \| history \| raw
-rw-r--r--	207	184.out	blob \| history \| raw
-rw-r--r--	88	184.xml	blob \| history \| raw
-rw-r--r--	25	185.ent	blob \| history \| raw
-rw-r--r--	235	185.out	blob \| history \| raw
-rw-r--r--	86	185.xml	blob \| history \| raw
-rw-r--r--	246	186.out	blob \| history \| raw
-rw-r--r--	99	186.xml	blob \| history \| raw
-rw-r--r--	0	null.ent	blob \| history \| raw