diff options
| author |  Arnaud Spiwack <arnaud@spiwack.net> | 2015-07-23 09:46:21 +0200 |
|---|---|---|
| committer | Arnaud Spiwack <arnaud@spiwack.net> | 2015-09-25 10:40:10 +0200 |
| commit | d50aa51b4a3d39e708bc5ab3acb9f549857bceef (patch) | |
| tree | a4aa394b96d647a478779984e59c0515ce5ffff9 /library/global.ml | |
| parent | e0547f9e9134a9fff122df900942a094c53535c3 (diff) | |
Add `Guarded` to the assumption tokens.
Diffstat (limited to 'library/global.ml')
0 files changed, 0 insertions, 0 deletions