log src/print.sml

age author description
Thu, 21 Aug 2008 12:49:29 -0400 Adam Chlipala Queries back to working as well as before, after start of refactoring to support grouping