diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-06-26 12:35:26 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-26 12:35:26 -0400 |
commit | abd57cd85a78e243185e7c6f528b3f21344319ea (patch) | |
tree | 970326ac48cfa321cae917503d7c5238f2c02bf0 /src/elab_print.sml | |
parent | aedc1a079416569be9bf63de2d7c1d9d2262b915 (diff) |
Folding through a functor
Diffstat (limited to 'src/elab_print.sml')
0 files changed, 0 insertions, 0 deletions