Mercurial > cpdt > repo

comparison src/Subset.v @ 563:af97676583f3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update for extraction to work in Coq 8.7, which unfortunately at last breaks compatibility with Coq versions before 8.6
author Adam Chlipala <adam@chlipala.net>
date Sun, 07 Jan 2018 11:53:31 -0500
parents ed829eaa91b2
children
comparison
equal deleted inserted replaced
562:36b1f893c1e0 563:af97676583f3
9 9
10 (* begin hide *) 10 (* begin hide *)
11 Require Import List. 11 Require Import List.
12 12
13 Require Import Cpdt.CpdtTactics. 13 Require Import Cpdt.CpdtTactics.
14
15 Require Extraction.
14 16
15 Set Implicit Arguments. 17 Set Implicit Arguments.
16 Set Asymmetric Patterns. 18 Set Asymmetric Patterns.
17 (* end hide *) 19 (* end hide *)
18 20