diff options
| author |  Stephane Glondu <steph@glondu.net> | 2008-10-16 13:39:34 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2008-10-16 13:39:34 +0200 |
| commit | 3e6a1167fd397f2c72b48315e5d82f6c7e24703f (patch) | |
| tree | 5778212e4dee21b53d8626e05e3fef0387ad3885 /theories/FSets/FMapFacts.v | |
| parent | e9ca8bf54ae638fcab7fac39feec5ca047578d07 (diff) | |
Define substvars more appropriately
Diffstat (limited to 'theories/FSets/FMapFacts.v')
0 files changed, 0 insertions, 0 deletions