Ich hatte ja noch versprochen die Aufgaben zur Parameterinduktion online zu stellen. Hier sind sie: 12add x 0 = x add x y = 1 + add x (y-1) Behauptung: […]