diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-02-25 13:46:07 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-02-25 13:46:07 -0500 |
| commit | f6733c0048eacc911feff5277fed12fb544c7299 (patch) | |
| tree | 95583abe859e3e9eae68727d3642d3d8bef703d0 /coqprime | |
| parent | 6dbfc76a2951a8f74b33a61f57fbe5b0d73c3352 (diff) | |
Factor out some bedrock dependencies into WordUtil
Also move a definition about words, with a TODO about location, into WordUtil.
Diffstat (limited to 'coqprime')
0 files changed, 0 insertions, 0 deletions