diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-07-01 14:35:04 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-07-01 14:35:27 +0200 |
| commit | 2e8fb20e04da220cba68443a779c7ef6b08af9e5 (patch) | |
| tree | 0047aa2e7c4dfe5e803117a4d610d3b56b05e066 /library/global.ml | |
| parent | ff9f946343298e0d980e686654e7facfc28dc7d7 (diff) | |
Continuing ff9f94634 on making code and doc agree on "Set Equality Schemes"
Diffstat (limited to 'library/global.ml')
0 files changed, 0 insertions, 0 deletions