log src/core_print.sml

age author description
2008-06-22 Adam Chlipala Start of FFI
2008-06-19 Adam Chlipala Corify removes modules
2008-06-12 Adam Chlipala Simple signature matching
2008-06-10 Adam Chlipala Translation to Cjr
2008-06-10 Adam Chlipala Closure conversion
2008-06-08 Adam Chlipala Beta reductions for expressions
2008-06-08 Adam Chlipala Some con reducing
2008-06-08 Adam Chlipala Conversion to Core