diff options
| author | coqbot-app[bot] | 2021-03-26 07:39:41 +0000 |
|---|---|---|
| committer | GitHub | 2021-03-26 07:39:41 +0000 |
| commit | 71453f1643b55679d44caee30ce5541b5aa47263 (patch) | |
| tree | 572b79953b061add3abc814c0ad97a2552b388a3 /kernel/vmbytecodes.ml | |
| parent | 16d9e9cf378b9eb0ee0fc42c5c0a3a23b3df6ff4 (diff) | |
| parent | 680ffd88630ac7f630533ce33d19200b8669f34a (diff) | |
Merge PR #13955: [stdlib] [List] added map and Forall / Exists lemmas
Reviewed-by: olaure01
Diffstat (limited to 'kernel/vmbytecodes.ml')
0 files changed, 0 insertions, 0 deletions