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

drwxr-xr-x		..
-rw-r--r--	0	001.ent	blob \| history \| raw
-rw-r--r--	69	001.xml	blob \| history \| raw
-rw-r--r--	1	002.ent	blob \| history \| raw
-rw-r--r--	69	002.xml	blob \| history \| raw
-rw-r--r--	87	003-1.ent	blob \| history \| raw
-rw-r--r--	0	003-2.ent	blob \| history \| raw
-rw-r--r--	46	003.xml	blob \| history \| raw
-rw-r--r--	82	004-1.ent	blob \| history \| raw
-rw-r--r--	32	004-2.ent	blob \| history \| raw
-rw-r--r--	46	004.xml	blob \| history \| raw
-rw-r--r--	58	005-1.ent	blob \| history \| raw
-rw-r--r--	29	005-2.ent	blob \| history \| raw
-rw-r--r--	46	005.xml	blob \| history \| raw
-rw-r--r--	64	006.ent	blob \| history \| raw
-rw-r--r--	77	006.xml	blob \| history \| raw
-rw-r--r--	54	007.ent	blob \| history \| raw
-rw-r--r--	44	007.xml	blob \| history \| raw
-rw-r--r--	54	008.ent	blob \| history \| raw
-rw-r--r--	55	008.xml	blob \| history \| raw
-rw-r--r--	54	009.ent	blob \| history \| raw
-rw-r--r--	88	009.xml	blob \| history \| raw
-rw-r--r--	54	010.ent	blob \| history \| raw
-rw-r--r--	77	010.xml	blob \| history \| raw
-rw-r--r--	54	011.ent	blob \| history \| raw
-rw-r--r--	66	011.xml	blob \| history \| raw
-rw-r--r--	93	012.ent	blob \| history \| raw
-rw-r--r--	66	012.xml	blob \| history \| raw
-rw-r--r--	72	013.ent	blob \| history \| raw
-rw-r--r--	44	013.xml	blob \| history \| raw
-rw-r--r--	68	014.ent	blob \| history \| raw
-rw-r--r--	72	014.xml	blob \| history \| raw
-rw-r--r--	97	015.ent	blob \| history \| raw
-rw-r--r--	71	015.xml	blob \| history \| raw
-rw-r--r--	66	016.ent	blob \| history \| raw
-rw-r--r--	72	016.xml	blob \| history \| raw
-rw-r--r--	74	017.ent	blob \| history \| raw
-rw-r--r--	44	017.xml	blob \| history \| raw
-rw-r--r--	74	018.ent	blob \| history \| raw
-rw-r--r--	44	018.xml	blob \| history \| raw
-rw-r--r--	73	019.ent	blob \| history \| raw
-rw-r--r--	44	019.xml	blob \| history \| raw
-rw-r--r--	72	020.ent	blob \| history \| raw
-rw-r--r--	44	020.xml	blob \| history \| raw
-rw-r--r--	74	021.ent	blob \| history \| raw
-rw-r--r--	44	021.xml	blob \| history \| raw
-rw-r--r--	91	022.ent	blob \| history \| raw
-rw-r--r--	44	022.xml	blob \| history \| raw
-rw-r--r--	120	023.ent	blob \| history \| raw
-rw-r--r--	44	023.xml	blob \| history \| raw
-rw-r--r--	98	024.ent	blob \| history \| raw
-rw-r--r--	44	024.xml	blob \| history \| raw
-rw-r--r--	107	025.ent	blob \| history \| raw
-rw-r--r--	44	025.xml	blob \| history \| raw
-rw-r--r--	29	026.ent	blob \| history \| raw
-rw-r--r--	128	026.xml	blob \| history \| raw
-rw-r--r--	46	027.ent	blob \| history \| raw
-rw-r--r--	44	027.xml	blob \| history \| raw
-rw-r--r--	68	028.ent	blob \| history \| raw
-rw-r--r--	44	028.xml	blob \| history \| raw
-rw-r--r--	96	029.ent	blob \| history \| raw
-rw-r--r--	44	029.xml	blob \| history \| raw
-rw-r--r--	54	030.ent	blob \| history \| raw
-rw-r--r--	44	030.xml	blob \| history \| raw
-rw-r--r--	88	031-1.ent	blob \| history \| raw
-rw-r--r--	29	031-2.ent	blob \| history \| raw
-rw-r--r--	49	031.xml	blob \| history \| raw
drwxr-xr-x	-	out	tree \| history