log src/expl_print.sig

age author description
Sun, 22 Feb 2009 16:32:56 -0500 Adam Chlipala Kind polymorphism through Explify
Thu, 19 Jun 2008 10:06:59 -0400 Adam Chlipala Explify