log src/corify.sig

age author description
2009-05-02 Adam Chlipala Path rewriting
2008-10-19 Adam Chlipala Simple generation of persistent paths
2008-06-19 Adam Chlipala Corify removes modules
2008-06-08 Adam Chlipala Conversion to Core