diff options
| author | Pierre-Marie Pédrot | 2015-10-17 12:35:25 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-10-17 12:42:56 +0200 |
| commit | 28297a3994779fda9b9208cb90bd6f8f08d652c5 (patch) | |
| tree | 297ad943393d50bf8e36b02f5ceb8d6fd77b53cb /kernel/term.ml | |
| parent | 3664fd9f0af7851ed35e1fc06d826f7fd8ee2f7a (diff) | |
Lemmas accept the Local flag.
This was a trivial overlook.
Diffstat (limited to 'kernel/term.ml')
0 files changed, 0 insertions, 0 deletions