Induction with and without natural properties

Code for Figures 1 and 2 of Induction with and without natural properties

Code for Figure 3 of Induction with and without natural properties

Responsible for the content: Prof. Dr. Gerhard Schurz