diff options
| author |  Pierre Letouzey <pierre.letouzey@inria.fr> | 2014-12-12 16:15:51 +0100 |
|---|---|---|
| committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2014-12-18 20:03:16 +0100 |
| commit | 02205d3fef7dcfb0164591490931543259600fe8 (patch) | |
| tree | fe15067acd3e0489907269bcb7e03b989d2edfa9 /theories/Sets/Ensembles.v | |
| parent | 82f02e6f1f5f9eeb0e141ba115bf890d1181407a (diff) | |
Lists: enhanced version of Seb's last commit on Exists/Forall
Diffstat (limited to 'theories/Sets/Ensembles.v')
0 files changed, 0 insertions, 0 deletions