diff options
author | 2016-02-25 13:53:49 -0500 | |
---|---|---|
committer | 2016-02-25 13:53:49 -0500 | |
commit | 9c129000ea8bce2c794af6179524f42d88a330a1 (patch) | |
tree | e0e09baef38832baca45cf7d270d865927a3efed /src/ModularArithmetic/FField.v | |
parent | f6733c0048eacc911feff5277fed12fb544c7299 (diff) |
Automate a UList proof a bit so it builds with 8.5
It still builds with 8.4
Diffstat (limited to 'src/ModularArithmetic/FField.v')
0 files changed, 0 insertions, 0 deletions