Arthur Brandao 5102e2e92c Simplification ConsEmptyList vor 7 Jahren
..
migl 5102e2e92c Simplification ConsEmptyList vor 7 Jahren