log src/expl_util.sig

age author description
2008-08-09 Adam Chlipala 'Option' datatype encoding
2008-08-03 Adam Chlipala Datatype representation optimization
2008-06-26 Adam Chlipala Proper hiding of shadowed bindings in principal signatures
2008-06-19 Adam Chlipala Explify