The invention is concerned with novel pyrrolidine derivatives of formula (I) ##STR00001## wherein X, Y, R.sup.1, R.sup.2 and R.sup.3 are as defined in the description and in the claims, as well as physiologically acceptable salts thereof. These compounds inhibit the coagulation factor Xa and can be used as medicaments.