diff options
| author | Pierre-Marie Pédrot | 2019-09-29 16:13:40 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-09-29 16:13:40 +0200 |
| commit | 41f3d8f0b0b6efbb7133cd4e44c70a1d9105c3e9 (patch) | |
| tree | 750554abbd024ea720dd4ebafbc9751f5d62325c /kernel | |
| parent | 884b413e91d293a6b2009da11f2996db0654e40f (diff) | |
| parent | 10b54c11e2db436ab077477fae862fe06e0d9395 (diff) | |
Merge PR #10673: [lemmas] Cleanup users of default proof information.
Ack-by: SkySkimmer
Reviewed-by: ppedrot
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions