Dê uma olhada nas mudanças mais recentes de HOTrans Isabelle. A lista a seguir mostrará todas as modificações que HOTrans Isabelle implementou nos últimos 30 dias.