diff options
| author |  Robert Sloan <varomodt@gmail.com> | 2016-06-23 18:28:04 -0400 |
|---|---|---|
| committer | Robert Sloan <varomodt@gmail.com> | 2016-06-23 18:28:04 -0400 |
| commit | cdd7cc8d0c51186558f90eee8fd7e19bebcdfda1 (patch) | |
| tree | 6a295c32faf08aa72a6473605ae9ce6b7d28422f /_CoqProject | |
| parent | 517e50e5987792a0f4f0852e5cfbeda1040b448b (diff) | |
Remove vestigal GaloisField machinery
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions