diff options
| author | Pierre-Marie Pédrot | 2018-11-30 17:45:28 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-11-30 17:45:28 +0100 |
| commit | 479588a94c432bd05a76b67ab1a56dcbe5b083c2 (patch) | |
| tree | bd02363a3552341aee3ddfc4a1e6b2250ed67a6b /vernac/comProgramFixpoint.ml | |
| parent | 6cafa55b58054da0b7366bea4e10a06147640eee (diff) | |
| parent | dd4e039129c99558afc9150dc891ac3932e19fc5 (diff) | |
Merge PR #8807: Added two proofs to the Lists library: Forall_inv_tail and Exists_impl
Diffstat (limited to 'vernac/comProgramFixpoint.ml')
0 files changed, 0 insertions, 0 deletions