diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-08-24 17:07:43 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2016-08-24 17:08:11 -0400 |
| commit | fb6fd35b9cfc454b622c8bfa1364efdbf048e0df (patch) | |
| tree | f3915167b80db7c1a3052fe978a917fc9a0107bd /src/Util/Tactics.v | |
| parent | 399d059f701807158458cc67928993e56846444a (diff) | |
Work around lack of Fixpoint 'equation' lemmas in Coq < 8.4pl6
Diffstat (limited to 'src/Util/Tactics.v')
0 files changed, 0 insertions, 0 deletions