log tests/prim.lac

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