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

drwxr-xr-x		..
-rw-r--r--	20	001.xml	blob \| history \| raw
-rw-r--r--	15	002.xml	blob \| history \| raw
-rw-r--r--	11	003.xml	blob \| history \| raw
-rw-r--r--	20	004.xml	blob \| history \| raw
-rw-r--r--	32	005.xml	blob \| history \| raw
-rw-r--r--	58	006.xml	blob \| history \| raw
-rw-r--r--	14	007.xml	blob \| history \| raw
-rw-r--r--	14	008.xml	blob \| history \| raw
-rw-r--r--	16	009.xml	blob \| history \| raw
-rw-r--r--	11	010.xml	blob \| history \| raw
-rw-r--r--	21	011.xml	blob \| history \| raw
-rw-r--r--	15	012.xml	blob \| history \| raw
-rw-r--r--	50	013.xml	blob \| history \| raw
-rw-r--r--	18	014.xml	blob \| history \| raw