diff options
author | Jason Gross <jgross@mit.edu> | 2017-05-11 13:54:25 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-05-11 13:54:25 -0400 |
commit | 5847ee9bee736f3453347df09823fb2c32e1c1f3 (patch) | |
tree | 7d77fc5d35846b3307af75e384b93da4789349ef /src/Util/Notations.v | |
parent | 8a2f98ad75901b352a75b32bfae96148b8fb66d7 (diff) |
Remove dead Ltac code from ZUtil
Diffstat (limited to 'src/Util/Notations.v')
0 files changed, 0 insertions, 0 deletions