その結果、「行政訴訟法」が制定された。