diff options
| author | Gaëtan Gilbert | 2019-01-30 12:17:05 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-01-30 12:17:05 +0100 |
| commit | 6ec771e10c5af489d8529feea8fdc00beb21a855 (patch) | |
| tree | 584c30bbac31821ab08be85ee81e8d82659ebf27 /kernel/modops.ml | |
| parent | a9b141469fe3036355be95d8cf5f0bf5c240fe37 (diff) | |
Comment universe operations in Classes.context
Diffstat (limited to 'kernel/modops.ml')
0 files changed, 0 insertions, 0 deletions