diff options
| author | Maxime Dénès | 2018-12-22 02:04:26 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2019-01-24 16:46:17 +0100 |
| commit | 309cf3d3d6fe57ba9c15c32872b42433596c7748 (patch) | |
| tree | bfe48784396347d1081f4342de4bcca2afe4b397 /kernel | |
| parent | 1006fd52c03e7d8ea1d0b612df168f21c9b56455 (diff) | |
Make `Instance` without a body always open a proof.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions