X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fpxp%2Frtests%2Fnegative%2Fdata_jclark_notwf%2Fsa%2F105.xml;fp=helm%2FDEVEL%2Fpxp%2Fpxp%2Frtests%2Fnegative%2Fdata_jclark_notwf%2Fsa%2F105.xml;h=0000000000000000000000000000000000000000;hb=0c105a568c1c3919d41e3aa75055f631e177c758;hp=5f6055109255a142a0913df5faffcafcc8fe95e8;hpb=cd3f2cc347f7d74ad8bf8146f03dd21c6cf7b9a8;p=helm.git diff --git a/helm/DEVEL/pxp/pxp/rtests/negative/data_jclark_notwf/sa/105.xml b/helm/DEVEL/pxp/pxp/rtests/negative/data_jclark_notwf/sa/105.xml deleted file mode 100644 index 5f6055109..000000000 --- a/helm/DEVEL/pxp/pxp/rtests/negative/data_jclark_notwf/sa/105.xml +++ /dev/null @@ -1,4 +0,0 @@ - - - -