diff options
| author | Pierre-Marie Pédrot | 2017-07-12 15:29:10 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-07-13 15:14:45 +0200 |
| commit | 34bcd562cc9c8e5e6b0f3b79a15b9c55dd98813e (patch) | |
| tree | 461be63f369d2018ef427ae682cd152dc6bccbec /interp/notation.ml | |
| parent | 71563ebb86a83bc7cdfc17f58493f59428d764b0 (diff) | |
The only abstraction-breaking function in Univ is now AUContext.instance.
Diffstat (limited to 'interp/notation.ml')
0 files changed, 0 insertions, 0 deletions