log tests/ambig.ur

age author description
2012-04-21 Adam Chlipala Omit 'Basis.' in pretty-printing constructors, where this is unambiguous