diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-07-01 09:29:49 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-01 09:29:49 -0400 |
| commit | cc2b6499cd2ea61f8882419cc5915c3428d5f5b7 (patch) | |
| tree | 137254c1e98dbf1c00c2f002c254766b4c75cd80 /lib | |
| parent | 8b56aa658fa544d041a2eac45c87d76f4597f94d (diff) | |
Factor some operations into ElabOps
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions