diff options
| author | Enrico Tassi | 2015-02-03 13:41:33 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2015-02-03 13:41:33 +0100 |
| commit | 2e09a22baeb93c57e6d8388313dc638349679910 (patch) | |
| tree | 7740445f984b1a192312771dc93751270a4c8e03 /kernel/nativelib.ml | |
| parent | 6a2a6b9920bd09e7744463af31dde65748ad5767 (diff) | |
Tactic Notation: use stable unique key for notations (Close: 3970)
Diffstat (limited to 'kernel/nativelib.ml')
0 files changed, 0 insertions, 0 deletions