Mercurial > cpdt > repo

comparison src/Extensional.v @ 182:24b99e025fe8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of Intensional
author Adam Chlipala <adamc@hcoop.net>
date Sun, 16 Nov 2008 11:54:51 -0500
parents ec44782bffdd
children df289eb8ef76
comparison
equal deleted inserted replaced
181:ec44782bffdd 182:24b99e025fe8
8 *) 8 *)
9 9
10 (* begin hide *) 10 (* begin hide *)
11 Require Import String List. 11 Require Import String List.
12 12
13 Require Import AxiomsImpred Tactics DepList. 13 Require Import Axioms Tactics DepList.
14 14
15 Set Implicit Arguments. 15 Set Implicit Arguments.
16 (* end hide *) 16 (* end hide *)
17 17
18 18