diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-08-14 15:24:59 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-14 15:24:59 -0400 |
commit | 9a65eddb59384f5784ed3ef0a641ca65b52645ce (patch) | |
tree | 6c2cbea03ee39858bde49e54932e19e744ba84c6 /src/expl_util.sig | |
parent | 14fbe79a3735e547f03cd8e95ca925fbdbb1841a (diff) |
Elaborating 'SELECT *' queries
Diffstat (limited to 'src/expl_util.sig')
0 files changed, 0 insertions, 0 deletions