diff options
| author | Théo Zimmermann | 2018-06-08 17:37:25 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-06-08 17:37:25 +0200 |
| commit | d063d30fea12141f84f3ff80608048e2903cbf6a (patch) | |
| tree | 17daf16bf90d2ab533ac9a0e6d40aa1d82b2aa7b /kernel/declarations.ml | |
| parent | bb63a9f2209108424bd3dadc1c479f9ddc0e1803 (diff) | |
| parent | afe5d78e85bc276a7a9b1386f504c98b02454463 (diff) | |
Merge PR #7747: dev/doc/univpoly.{txt => md}, split off primitive projection info
Diffstat (limited to 'kernel/declarations.ml')
0 files changed, 0 insertions, 0 deletions