Contents of peano_new/arithmetic/