diff options
author | Arnaud Spiwack <arnaud@spiwack.net> | 2014-10-16 10:10:02 +0200 |
---|---|---|
committer | Arnaud Spiwack <arnaud@spiwack.net> | 2014-10-16 10:37:47 +0200 |
commit | e6708590ce648921f27395ce535e35d52aa2cc0f (patch) | |
tree | d086ca3b9d6d98627290411be747d541dd15ee01 /proofs/goal.mli | |
parent | 0ae6d27680e5b87bbb00c6941cee1b0c309624ec (diff) |
Proofview: remove unused [refresh_sigma] compatibility primitive.
Diffstat (limited to 'proofs/goal.mli')
0 files changed, 0 insertions, 0 deletions