log src/cjrize.sml

age author description
2008-06-22 Adam Chlipala FFI through cjrize
2008-06-22 Adam Chlipala FFI through cloconv
2008-06-10 Adam Chlipala Translation to Cjr