diff options
| author | Pierre Courtieu | 2020-04-09 16:01:50 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2020-04-09 16:01:50 +0200 |
| commit | 4dba3f78e50604d899ef80bfda45c5aa4467adeb (patch) | |
| tree | 6f9616bf1d131df2df30b3add49039fe11bcd25c /generic/proof-config.el | |
| parent | 420dc6a4b9bc61b3c13c5e7c3dce2521c120baaa (diff) | |
Unplugging previous commit (proof using insertion.
It needs more tweaking when a bloc is asserted at once.
Diffstat (limited to 'generic/proof-config.el')
0 files changed, 0 insertions, 0 deletions