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

drwxr-xr-x		..
-rw-r--r--	223	001.out	blob \| history \| raw
-rw-r--r--	60	001.xml	blob \| history \| raw
-rw-r--r--	216	010.out	blob \| history \| raw
-rw-r--r--	105	010.xml	blob \| history \| raw
-rw-r--r--	193	011.out	blob \| history \| raw
-rw-r--r--	159	011.xml	blob \| history \| raw
-rw-r--r--	286	012.out	blob \| history \| raw
-rw-r--r--	127	012.xml	blob \| history \| raw
-rw-r--r--	234	013.out	blob \| history \| raw
-rw-r--r--	91	013.xml	blob \| history \| raw
-rw-r--r--	234	014.out	blob \| history \| raw
-rw-r--r--	98	014.xml	blob \| history \| raw
-rw-r--r--	219	015.out	blob \| history \| raw
-rw-r--r--	114	015.xml	blob \| history \| raw
-rw-r--r--	220	016.out	blob \| history \| raw
-rw-r--r--	121	016.xml	blob \| history \| raw
-rw-r--r--	238	017.out	blob \| history \| raw
-rw-r--r--	195	017.xml	blob \| history \| raw
-rw-r--r--	239	018.out	blob \| history \| raw
-rw-r--r--	202	018.xml	blob \| history \| raw
-rw-r--r--	214	019.out	blob \| history \| raw
-rw-r--r--	144	019.xml	blob \| history \| raw
-rw-r--r--	214	020.out	blob \| history \| raw
-rw-r--r--	150	020.xml	blob \| history \| raw
-rw-r--r--	214	021.out	blob \| history \| raw
-rw-r--r--	143	021.xml	blob \| history \| raw
-rw-r--r--	214	022.out	blob \| history \| raw
-rw-r--r--	153	022.xml	blob \| history \| raw
-rw-r--r--	216	023.out	blob \| history \| raw
-rw-r--r--	108	023.xml	blob \| history \| raw
-rw-r--r--	217	024.out	blob \| history \| raw
-rw-r--r--	114	024.xml	blob \| history \| raw
-rw-r--r--	236	025.out	blob \| history \| raw
-rw-r--r--	99	025.xml	blob \| history \| raw
-rw-r--r--	237	026.out	blob \| history \| raw
-rw-r--r--	105	026.xml	blob \| history \| raw
-rw-r--r--	214	027.out	blob \| history \| raw
-rw-r--r--	131	027.xml	blob \| history \| raw
-rw-r--r--	214	028.out	blob \| history \| raw
-rw-r--r--	136	028.xml	blob \| history \| raw
-rw-r--r--	233	029.out	blob \| history \| raw
-rw-r--r--	96	029.xml	blob \| history \| raw
-rw-r--r--	234	030.out	blob \| history \| raw
-rw-r--r--	101	030.xml	blob \| history \| raw
-rw-r--r--	217	031.out	blob \| history \| raw
-rw-r--r--	146	031.xml	blob \| history \| raw
-rw-r--r--	249	032.out	blob \| history \| raw
-rw-r--r--	139	032.xml	blob \| history \| raw
-rw-r--r--	242	033.out	blob \| history \| raw
-rw-r--r--	150	033.xml	blob \| history \| raw
-rw-r--r--	227	034.out	blob \| history \| raw
-rw-r--r--	181	034.xml	blob \| history \| raw
-rw-r--r--	252	035.out	blob \| history \| raw
-rw-r--r--	98	035.xml	blob \| history \| raw
-rw-r--r--	248	036.out	blob \| history \| raw
-rw-r--r--	112	036.xml	blob \| history \| raw
-rw-r--r--	211	037.out	blob \| history \| raw
-rw-r--r--	99	037.xml	blob \| history \| raw
-rw-r--r--	233	038.out	blob \| history \| raw
-rw-r--r--	110	038.xml	blob \| history \| raw
-rw-r--r--	29	060.ent	blob \| history \| raw
-rw-r--r--	377	060.out	blob \| history \| raw
-rw-r--r--	392	060.xml	blob \| history \| raw
-rw-r--r--	55	061.ent	blob \| history \| raw
-rw-r--r--	377	061.out	blob \| history \| raw
-rw-r--r--	421	061.xml	blob \| history \| raw
-rw-r--r--	29	062.ent	blob \| history \| raw
-rw-r--r--	377	062.out	blob \| history \| raw
-rw-r--r--	356	062.xml	blob \| history \| raw
-rw-r--r--	19	063.ent	blob \| history \| raw
-rw-r--r--	235	063.out	blob \| history \| raw
-rw-r--r--	243	063.xml	blob \| history \| raw
-rw-r--r--	19	064.ent	blob \| history \| raw
-rw-r--r--	236	064.out	blob \| history \| raw
-rw-r--r--	332	064.xml	blob \| history \| raw
-rw-r--r--	19	065.ent	blob \| history \| raw
-rw-r--r--	236	065.out	blob \| history \| raw
-rw-r--r--	423	065.xml	blob \| history \| raw
-rw-r--r--	35	066.ent	blob \| history \| raw
-rw-r--r--	216	066.out	blob \| history \| raw
-rw-r--r--	393	066.xml	blob \| history \| raw
-rw-r--r--	35	067.ent	blob \| history \| raw
-rw-r--r--	216	067.out	blob \| history \| raw
-rw-r--r--	502	067.xml	blob \| history \| raw
-rw-r--r--	34	068.ent	blob \| history \| raw
-rw-r--r--	377	068.out	blob \| history \| raw
-rw-r--r--	446	068.xml	blob \| history \| raw
-rw-r--r--	35	069.ent	blob \| history \| raw
-rw-r--r--	377	069.out	blob \| history \| raw
-rw-r--r--	472	069.xml	blob \| history \| raw
-rw-r--r--	26	070.ent	blob \| history \| raw
-rw-r--r--	281	070.out	blob \| history \| raw
-rw-r--r--	512	070.xml	blob \| history \| raw
-rw-r--r--	231	080.out	blob \| history \| raw
-rw-r--r--	62	080.xml	blob \| history \| raw
-rw-r--r--	231	081.out	blob \| history \| raw
-rw-r--r--	62	081.xml	blob \| history \| raw
-rw-r--r--	3339	INDEX	blob \| history \| raw