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

drwxr-xr-x		..
-rw-r--r--	5	001.ent	blob \| history \| raw
-rw-r--r--	88	001.xml	blob \| history \| raw
-rw-r--r--	4	002.ent	blob \| history \| raw
-rw-r--r--	88	002.xml	blob \| history \| raw
-rw-r--r--	0	003.ent	blob \| history \| raw
-rw-r--r--	88	003.xml	blob \| history \| raw
-rw-r--r--	5	004.ent	blob \| history \| raw
-rw-r--r--	88	004.xml	blob \| history \| raw
-rw-r--r--	12	005.ent	blob \| history \| raw
-rw-r--r--	102	005.xml	blob \| history \| raw
-rw-r--r--	25	006.ent	blob \| history \| raw
-rw-r--r--	110	006.xml	blob \| history \| raw
-rw-r--r--	4	007.ent	blob \| history \| raw
-rw-r--r--	90	007.xml	blob \| history \| raw
-rw-r--r--	54	008.ent	blob \| history \| raw
-rw-r--r--	90	008.xml	blob \| history \| raw
-rw-r--r--	1	009.ent	blob \| history \| raw
-rw-r--r--	88	009.xml	blob \| history \| raw
-rw-r--r--	0	010.ent	blob \| history \| raw
-rw-r--r--	88	010.xml	blob \| history \| raw
-rw-r--r--	6	011.ent	blob \| history \| raw
-rw-r--r--	118	011.xml	blob \| history \| raw
-rw-r--r--	4	012.ent	blob \| history \| raw
-rw-r--r--	170	012.xml	blob \| history \| raw
-rw-r--r--	4	013.ent	blob \| history \| raw
-rw-r--r--	170	013.xml	blob \| history \| raw
-rw-r--r--	12	014.ent	blob \| history \| raw
-rw-r--r--	88	014.xml	blob \| history \| raw
drwxr-xr-x	-	out	tree \| history