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