log src/expl_util.sml

age author description
2009-05-16 Adam Chlipala Mutual datatypes through Corify