Commit b19a5b84 authored by Ralf Jung's avatar Ralf Jung

remove prophecy erasure proof (it is in the main Iris repo now)

parent de6dd885
Pipeline #22054 passed with stage
in 16 minutes and 22 seconds
......@@ -116,7 +116,6 @@ theories/logatom/rdcss/spec.v
theories/logatom/herlihy_wing_queue/spec.v
theories/logatom/herlihy_wing_queue/hwq.v
theories/proph/proph_erasure.v
theories/proph/lib/one_shot_proph.v
theories/proph/lib/typed_proph.v
theories/proph/eager_coin_spec.v
......
This diff is collapsed.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment