Stav dette: Learning abstract algebra with ISETL