Updates 2013-04-17

    semigroups
    split

Signed-off-by: Magnus Therning <magnus@therning.org>