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

drwxr-xr-x		..
-rw-r--r--	50	001.ent	blob \| history \| raw
-rw-r--r--	266	001.out	blob \| history \| raw
-rw-r--r--	44	001.xml	blob \| history \| raw
-rw-r--r--	45	002.ent	blob \| history \| raw
-rw-r--r--	291	002.out	blob \| history \| raw
-rw-r--r--	44	002.xml	blob \| history \| raw
-rw-r--r--	46	003.ent	blob \| history \| raw
-rw-r--r--	299	003.out	blob \| history \| raw
-rw-r--r--	44	003.xml	blob \| history \| raw
-rw-r--r--	71	004.ent	blob \| history \| raw
-rw-r--r--	342	004.out	blob \| history \| raw
-rw-r--r--	44	004.xml	blob \| history \| raw
-rw-r--r--	46	005.ent	blob \| history \| raw
-rw-r--r--	341	005.out	blob \| history \| raw
-rw-r--r--	44	005.xml	blob \| history \| raw
-rw-r--r--	45	006.ent	blob \| history \| raw
-rw-r--r--	342	006.out	blob \| history \| raw
-rw-r--r--	44	006.xml	blob \| history \| raw