diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-04-07 18:47:47 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-07 18:47:47 -0400 |
| commit | ab0bbbf29220a995f6fa83ae43e0a4a88c9b5159 (patch) | |
| tree | becc08d27931380ecbc07af19ee9dc612d5edf47 /src/elab_env.sml | |
| parent | 24158c81fb4cc8b318ceb5bc461ab2f494cb7b78 (diff) | |
FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingering problems in row inference)
Diffstat (limited to 'src/elab_env.sml')
0 files changed, 0 insertions, 0 deletions