diff options
| author |  Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-11-04 13:37:10 -0500 |
|---|---|---|
| committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-11-04 13:37:10 -0500 |
| commit | acc54398bd244b15d4dbc396836c279eabf3bf6b (patch) | |
| tree | e8389e8b003eb9acfe869640c0ab5201d3808db4 /kernel/univ.ml | |
| parent | 95a4fcf8cd36e29034e886682ed3a6e2914ce04f (diff) | |
Hint Cut documentation and cleanup of printing (was duplicated and
inconsistent).
Diffstat (limited to 'kernel/univ.ml')
0 files changed, 0 insertions, 0 deletions