RemoveMax

[Ironmaster]

also wenn das mal nicht jemand aus Hro ist, weiß ich auch nicht...
jedenfalls hast du die Spezifikation aus Übungsblatt 4 gegeben, wie folgt:

Spezifikation von LIST:
[LIST,VALUE]

init: LIST
insert: VALUE x LIST -> LIST
head: LIST -> VALUE
tail: LIST -> LIST
------------------
head(insert(v,l)) = v
tail(insert(v,l)) = l
tail(init) = init

Die Hilfe kommt vielleicht auch schon zu spät, aber vielleicht erfreuen sich ja auch andere noch daran...