diff options
| author | Jacques-Henri Jourdan | 2016-01-16 21:49:35 -0500 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-01-17 14:49:41 +0100 |
| commit | 9e585d7479af0db837528a2fe2ce1690e22a36cb (patch) | |
| tree | 4763680ec1fa387782cbd51941ba7f6c11664c7e /kernel/term.ml | |
| parent | 820a282fde5cb4233116ce2cda927fda2f36097d (diff) | |
Universes algorithm : clarified comments
Diffstat (limited to 'kernel/term.ml')
0 files changed, 0 insertions, 0 deletions