summaryrefslogtreecommitdiff
path: root/src/elab_env.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-06-08 13:00:12 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-06-08 13:00:12 -0400
commitd44758dd02286c136aecaab935fb692761bdc9a6 (patch)
tree38a367b08031b8dfccb11bd3d62043664b5a8b67 /src/elab_env.sml
parent32115a531d5ed6cafa25dc7d3b88c2679e5142a5 (diff)
Implicit constructor arguments
Diffstat (limited to 'src/elab_env.sml')
0 files changed, 0 insertions, 0 deletions