add a version of [cancel] that works with goals of the form [_ |- pvs _]; and...

add a version of [cancel] that works with goals of the form [_ |- pvs _]; and use that for the barrier proof
1 job for master
Status Job ID Name Coverage
  Test
passed #185
coq
buildjob

00:03:20