log src/corify.sml

age author description
2008-06-22 Adam Chlipala Better FFI function handling
2008-06-22 Adam Chlipala Detecting FFI functions
2008-06-22 Adam Chlipala Start of FFI
2008-06-19 Adam Chlipala Corifying functors
2008-06-19 Adam Chlipala Explifying functors
2008-06-19 Adam Chlipala Corify removes modules
2008-06-17 Adam Chlipala Elaborating module projection
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 Conversion to Core