The present invention relates to compounds of formula (I)
wherein R
1
is as defined in the description and claims, and pharmaceutically acceptable salts thereof. The compounds are useful for the treatment and/or prophylaxis of diseases which are associated with DPP-IV, such as diabetes, particularly non-insulin dependent diabetes mellitus, and impaired glucose tolerance.