summaryrefslogtreecommitdiff
path: root/src/elab_print.sig
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-06-19 15:15:00 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-06-19 15:15:00 -0400
commit5a4ddea95a551c5f95f0dcbda433fe457b61d25a (patch)
tree60135c04bf54aba0d443ec39a4dc37ec0f399852 /src/elab_print.sig
parent8e98be7de2dd3db541994aae47aeb45756f60098 (diff)
Functor parsing
Diffstat (limited to 'src/elab_print.sig')
0 files changed, 0 insertions, 0 deletions