diff options
| author | Emilio Jesus Gallego Arias | 2018-12-05 01:00:56 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-03-27 23:56:18 +0100 |
| commit | 0e905b4934296a09115fc9cb06903ee8fcdf04bf (patch) | |
| tree | 8895237efb994777e5ca4de24ae3d148aab606dc /plugins/extraction | |
| parent | de8100c9bdd13fb85502a16510a92ad3ee9e34e8 (diff) | |
[plugins] [setoid_ring] Adapt to removal of imperative proof state.
Diffstat (limited to 'plugins/extraction')
0 files changed, 0 insertions, 0 deletions