diff options
| author |  Pierre Letouzey <pierre.letouzey@inria.fr> | 2017-06-13 15:29:14 +0200 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2017-10-18 11:12:52 -0400 |
| commit | 94aff5d20480d1471d2520f690c5b5f7ffbf0aaf (patch) | |
| tree | ecf2a44eaec13e8615b20252cae9d77c56980490 /Makefile | |
| parent | 1636b6872b4947a238b433ad904899548ff8edfd (diff) | |
Add a Require Import FunInd (Function isn't loaded by default anymore)
See PR #220 https://github.com/coq/coq/pull/220
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions