diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-06-08 16:08:31 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-08 16:08:31 -0400 |
| commit | d52cd67621a27bbd27888c170c843fafb552658c (patch) | |
| tree | da9a0932b4510bfb29a492314912c4e4aa84b73b /src/sources | |
| parent | 813e9aa4d196962f47c784aeedeaf1cddf54dc4f (diff) | |
Reducing known record projections
Diffstat (limited to 'src/sources')
0 files changed, 0 insertions, 0 deletions