The second problem in many modern works is the theological discussion of church documents. It might be true that there are no definitory statements on the questions, but there is a firm tradition in the ordinary magisterium, that can not simply be discarded. It is insufficient to state that limbo was never defined, and therefore unbaptized children might equally be thought to be in heaven. Historically the doctrinal alternative to limbo never was infant salvation, but a stricter Augustinian interpretation assigning also pain of sense to the state of the children. That limbo was never defined had much to do with leaving room for the Augustinian theory as a study of the Jansenist controversy helps to see. The non-salvation of children was not disputed, except for very limited exceptions (Cajetan and some others). In my opinion a detailed study is yet to be done of some church documents with a focus on the question, but in particular of the third canon of the Council of Carthage. It seems to decide the question in favour of non-salvation, but is missing in different collections of canons. In my study, I found, that the answer usually given, namely that Rome did not accept it because of its content, needs to be reviewed, as there are statements of popes before and after the ratification of that council to the same effect as the disputed canon.
