Journal of Formalized Mathematics, Addenda

Table of Contents

• Preliminaries to Structures by Library Committee
• Arithmetic of Non Negative Rational Numbers by Grzegorz Bancerek
  
• Non Negative Real Numbers. Part I by Andrzej Trybulec
  
• Non Negative Real Numbers. Part II by Andrzej Trybulec
  
• Introduction to Arithmetic by Library Committee
  
• Preliminaries to Arithmetic by Library Committee
  
• Strong Arithmetic of Real Numbers by Andrzej Trybulec