log tests/datatype.ur

age author description
2008-09-09 Adam Chlipala Datatype positivity check
2008-08-31 Adam Chlipala Laconic -> Ur base tests/datatype.lac@6e5304ce1697