Beispiel Verifikation

app x y = case x of
    [] -> y
    h : t -> h : app t y
Beweise
app x (app y z) == app (app x y) z
Beweismethode: Induktion nach x.



Johannes Waldmann 2012-06-25