log src/prim.sml

age author description
2008-06-08 Adam Chlipala Primitive type constants