log src/elab_print.sml

age author description
Sat, 21 Apr 2012 15:09:02 -0400 Adam Chlipala Pretty-print tuple types using tuple syntax